2018-2019 / INFO0051-1

Logic

Duration

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

Number of credits

 Master in data science (120 ECTS)5 crédits 
 Master of science in computer science and engineering (120 ECTS)5 crédits 
 Master in data science and engineering (120 ECTS)5 crédits 
 Master in computer science (120 ECTS)5 crédits 
 Master in computer science (60 ECTS)5 crédits 

Lecturer

Pascal Gribomont

Language(s) of instruction

English language

Organisation and examination

Teaching in the first semester, review in January

Schedule

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)

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

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