 | | |
| INFO0051-1 | Logic
|
|
| Duration : | 30h Th, 30h Pr |
|
| Number of credits : |
|
|
| Lecturer : | Pascal Gribomont |
|
Language(s) of instruction :
|
| French 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) |
|
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. |
|
Assessment methods and criteria :
|
| Written examination in November.
Homework.
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
Stéphane Lens,
lens@montefiore.ulg.ac.be
(vanlishout@montefiore.ulg.ac.be) |
|
