Study Programmes 2015-2016
INFO0051-1  
Logic
Duration :
30h Th, 25h Pr, 10h Proj.
Number of credits :
Master in computer science and engineering (120 ECTS)5
Master in computer science (120 ECTS)5
Master in computer science (60 ECTS)5
Lecturer :
Pascal Gribomont
Language(s) of instruction :
English language
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
Course 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 course :
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 :
None.
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, 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) is available.
See http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html
Assessment methods and criteria :
Written examination in November. Small programming project. Oral examination in 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