2019-2020 / INFO0051-1



25h Th, 25h Pr, 10h Proj.

Number of credits

 Master of Science (MSc) in Data Science5 crédits 
 Master of Science (MSc) in Computer Science and Engineering5 crédits 
 Master of Science (MSc) in Computer Science and Engineering (double diplômation avec HEC)5 crédits 
 Master of Science (MSc) in Data Science and Engineering5 crédits 
 Master of Science (MSc) in Computer Science5 crédits 
 Master of Science (MSc) in Computer Science (double diplômation avec HEC)5 crédits 


Pascal Gribomont

Language(s) of instruction

English language

Organisation and examination

Teaching in the first semester, review in January


Schedule online

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)


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).

Work placement(s)

Organizational remarks



Pascal Gribomont,  gribomont@montefiore.ulg.ac.be