الجامعة :جامعة المنصورة |
الكلية :كلية الحاسبات والمعلومات |
القسم :علوم الحاسب |
|
| 1- بيانات المقرر :- |
| | الرمز الكودى: | عح317 | | اسم المقرر: | اختيارى كلية -1 | | الفرقة: | ثالثة علوم الحاسب | | عنوان البرنامج: | | | التخصص: | | | عدد الساعات: | نظري: | 3 | فصل: | | عملى: | 3 |
|
| 2- أهداف المقرر :- |
| - The main Aim of this course is to provide a uniform account of both the foundations of logic programming and simple programming techniques in the programming language Prolog.
|
| 3- نواتج التعلم المستهدفة للمقرر :- |
| |
| 4- محتويات المقرر :- |
| | م | الموضوع | الأسبوع |
|---|
| 1 | A general Introduction on Logic - Human Logic - History of Logic Programming | | | 2 | Propositional Logic | | | 3 | Predicate ( Relational ) Logic | | | 4 | Axioms, Rules of Inferences and Proofs | | | 5 | Resolution | | | 6 | Clausal Form | | | 7 | Horn Clauses | | | 8 | Unification & Backtracking Strategies | | | 9 | Data Base & Recursion | | | 10 | An Introduction to Logic Programming Language ( Prolog ) | |
|
|
| 5- أساليب التعليم والتعلم :- |
| | م | الاسلوب |
|---|
| Lectures | | Practical work | | Term project |
|
|
| 6- أساليب التعليم والتعلم للطلاب ذوى القدرات المحدودة :- |
| لا توجد بيانات. |
|
| 7- تقويم الطلاب :- |
| أ- التوقيت |
| | م | الطريقة | الأسبوع |
|---|
| 1 | Mid_Term Exam | 8 | | 2 | Practical Exame | 12 | | 3 | Oral EXam and descussion to the Term project | 14 | | 4 | Final Term Exam | 16 |
|
| ب- توزيع الدرجات |
| | م | الطريقة | الدرجة |
|---|
| 1 | امتحان نصف الترم | 5 | | 2 | امتحان آخر الترم | 75 | | 3 | الامتحان الشفوى | 5 | | 4 | الامتحان العملى | 10 | | 5 | أعمال الترم | 5 | | 6 | طرق أخرى للتقييم | 0 | | المجموع | 100% |
|
|
| 8- قائمة الكتب الدراسية والمراجع |
| | م | العنصر | النوع |
|---|
| 1 | An Introduction to Logic programming | | | 2 | A first course in Prolog | | | 3 | Krzysztof R. Apt "The Logic Programming Paradigm and Prolog" 2001 | | | 4 | Ulf Nilsson and Jan Maluszynski " Logic, Programming and Prolog " 2000 | |
|
|
| 9- مصفوفة المعارف والمهارات المستهدفة من المقرر الدراسي |
| | م | المحتوى | أسبوع الدراسة |
|---|
| A general Introduction on Logic - Human Logic - History of Logic Programming | | | Propositional Logic | | | Predicate ( Relational ) Logic | | | Axioms, Rules of Inferences and Proofs | | | Resolution | | | Clausal Form | | | Horn Clauses | | | Unification & Backtracking Strategies | | | Data Base & Recursion | | | An Introduction to Logic Programming Language ( Prolog ) | |
|
|
| اساتذة المادة: - |
| - طاهر توفيق أحمد حمزة
|
| رئيس مجلس القسم العلمى: - |
| |
