 | | |
| INFO0051-1 | Logic
|
|
| Duration : | 30h Th, 25h Pr, 10h Proj. |
|
| Number of credits : |
| Master of science in computer science and engineering, research focus, 1st year | | 5 |
|
| Master in Computer science, Research Focus, 1st year | | 6 |
|
| Master in Computer science, Research Focus, 1st year | | 5 |
|
| Master of science in computer science and engineering, professional focus in management, 1st year | | 5 |
|
| Master in Computer Science, Professional Focus (Management), 1st year | | 5 |
|
| Master in Computer Science, Professional Focus (Management), 1st year | | 6 |
|
| Master in Computer science | | 5 |
|
|
|
| Lecturer : | Pascal Gribomont |
|
Language(s) of instruction :
|
| English language |
|
Organisation and examination :
|
| Teaching in the first semester, review in January |
|
Course contents :
|
| Propositional calculus and predicate calculus. Proof techniques. Introduction to model theory. Sound and complete axiomatization. Herbrand theory and resolution. Decidability: from categorical syllogisms to monadic first-order logic.
Applications: artificial intelligence, logic programming, program verification. |
|
Learning outcomes of the course :
|
| Learning elementary mathematical logic, from the theoretical and practical points of view.
Formal, mathematical reasoning. |
|
Prerequisites and co-requisites/ Recommended optional programme components :
|
| None. |
|
Planned learning activities and teaching methods :
|
| Exercises are included. |
|
Mode of delivery (face-to-face ; distance-learning) :
|
| 1st quadrimester, Tuesday at 8:30 (B28, room 2/93).
Face-to-face. |
|
Recommended or required readings :
|
| P. Gochet et P. Gribomont, Logique I: Méthodes pour l'informatique fondamentale, Hermès, Paris, 1998 (2ème édition).
A summary (160 pages) will be handed out.
See http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
Assessment methods and criteria :
|
| Written examination in November.
Programming project.
Oral examination. |
|
Work placement(s) :
|
| |
|
Organizational remarks :
|
| http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
Contacts :
|
| Pascal Gribomont, gribomont@montefiore.ulg.ac.be
Isabelle Mainz, isabelle.mainz@ulg.ac.be |
|
