25h Th, 25h Pr, 10h Proj.
Number of credits
Language(s) of instruction
Organisation and examination
Teaching in the first semester, review in January
Units courses prerequisite and corequisite
Prerequisite or corequisite units are presented within each program
Learning unit contents
Propositional calculus and predicate calculus. Proof techniques. Introduction to model theory. Sound and complete axiomatization. Semantic tableaus and resolution. Decidability: from categorical syllogisms to monadic first-order logic.
Applications: artificial intelligence, logic programming, program verification.
Learning outcomes of the learning unit
Learning elementary mathematical logic, from the theoretical and practical points of view.
Formal, mathematical reasoning.
Desiging logic-based models for elementary problems in artificial intelligence; using logic-based methods for digital circuit and program verification.
Prerequisite knowledge and skills
General mathematical skills.
Mathematical induction (theory and practice).
Functional programming (INFO0054-1)
Planned learning activities and teaching methods
A theoretical lecture and a session of supervised exercises every week.
Mode of delivery (face-to-face ; distance-learning)
1st quadrimester, Thursday at 8:00 (B28, room 2/93). Face-to-face.
Recommended or required readings
Many books are available in English and in French, including P. Gochet et P. Gribomont, Logique I: Méthodes pour l'informatique fondamentale, Hermès, Paris, 1998 (3ème édition). A summary (French) and slides (English) are available See http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html
Assessment methods and criteria
Written examination in November. Small programming project. End of term written examination (January).
Pascal Gribomont, email@example.com
Isabelle Mainz, firstname.lastname@example.org