University :Mansoura University |
Faculty :Faculty of Computers and Information |
Department :Computer Science |
|
| 1- 1- Course data :- |
| | Code: | عح317 | | Course title: | Selected Topics -1 | | Year/Level: | ثالثة علوم الحاسب | | Program Title: | | | Specialization: | | | Teaching Hours: | Theoretical: | 3 | Tutorial: | | Practical: | 3 |
|
| 2- 2- Course aims :- |
| - 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- 3- Course Learning Outcomes :- |
| |
| 4- 4- Course contents :- |
| | No | Topics | Week No. |
|---|
| 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- 5- Teaching and learning methods :- |
| | S | Method |
|---|
| Lectures | | Practical work | | Term project |
|
|
| 6- 6- Teaching and learning methods of disables :- |
| No data found. |
|
| 7- 7- Student assessment :- |
| - Timing |
| | No | Method | Week No. |
|---|
| 1 | Mid_Term Exam | 8 | | 2 | Practical Exame | 12 | | 3 | Oral EXam and descussion to the Term project | 14 | | 4 | Final Term Exam | 16 |
|
| - Degree |
| | No | Method | Degree |
|---|
| 1 | Mid_term examination | 5 | | 2 | Final_term examination | 75 | | 3 | Oral examination | 5 | | 4 | Practical examination | 10 | | 5 | Semester work | 5 | | 6 | Other types of asessment | 0 | | Total | 100% |
|
|
| 8- 8- List of books and references |
| | S | Reference | Type |
|---|
| 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- 9- Matrix of knowledge and skills of the course |
| | S | Content | Study week |
|---|
| 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 ) | |
|
|
| Course Coordinator(s): - |
| - Tarek Tawfek Ahmed Hamza
|
| Head of department: - |
| |
