University of Liege | Version française
	Study programmes 2010-2011 Last update : 11/04/2011
	INFO0051-1   Artificial Intelligence Logics Duration :   30h Th, 30h Pr Credits/ECTS :   Master in Computer Engineering, in-depth approach, 1st year First semester 5 Master in Computer science, Research Focus, 1st year First semester 6 Master in Computer Engineering, specialized approach, 1st year First semester 5 Master in Computer Science, Professional Focus (Management), 1st year First semester 6 Master in Computer science First semester 6 Holder(s) :   Pascal Gribomont Language :   French language 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 mathematical logic, from the theoretical and practical points of view. Prerequisites :   None. Workshops :   Exercises are included. Organization :   1st semester, Tuesday at 8:30 (B28, local 2/93) Written notes :   P. Gochet et P. Gribomont, Logique I: Méthodes pour l'informatique fondamentale, Hermès, Paris, 1998 (2ème édition). A summary (160 pages) will be handed out. Assessment :   Written examination in November. Oral examination. Contacts :   Pascal Gribomont, gribomont@montefiore.ulg.ac.be Stéphane Lens, lens@montefiore.ulg.ac.be (vanlishout@montefiore.ulg.ac.be) Remarks :   http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html Home Search by Faculty Search by teacher Search by course code and title
	Students and Studies Administration - Academic Affairs - Contact : Monique Marcourt, General Director for Education and Training - Developed by SEGI