Home - Search by Faculty - By teacher - By course


INFO0051-1

Artificial Intelligence Logics

[ version française ]

Duration :30h Th, 30h Pr
Credits/ECTS :
4th year of the 5 year degree in civil engineering in computer sciences5,5
5th year of the 5 year degree in civil engineering in computer sciences5
1st "licence" in computer6
2nd year of Master's degree in computer sciences,6
Holder(s) :Pascal Gribomont
Course contents : Propositional calculus and predicate calculus. Proof techniques. Introduction to model theory. Complete and incomplete theories. Complete axiomatization. Herbrand theory and resolution. Decidability: from categorical syllogisms to monadic first-order logic.
Course objective : Learning elementary logic, from the theoretical and practical points of view.
Prerequisites : None.
Workshops : Exercises are included.
Organization : 1st semester, Wednesday at 14h00 (B28, local R7)
Written notes : P. Gochet et P. Gribomont, Logique I: Méthodes pour l'informatique fondamentale, Hermès, Paris, 1998 (2ème édition).

A summary (150 pages) will be handed out.
Assessment : Written examination in November.
Oral examination.
Contacts : P. Gribomont, 04 366 26 67, gribomont@montefiore.ulg.ac.be
F. Van Lishout, 04 366 26 19, vanlishout@montefiore.ulg.ac.be
Remarks :




ULg : Students and Studies Administration - Academic Affairs
Contact : Monique Marcourt, direction A.E.E.
Date of data : 27/02/2006
Developed by SEGI