 | |
| INFO0051-1 | Artificial Intelligence Logics
 |
|
| Duration : | 30h Th, 30h Pr |
|
| Credits/ECTS : |
| civil engineer in computer sciences, 3rd year | | | | 5 |
|
| Master in Biomedical Engineering, in-depth approach, 1st year | | Premier quadrimestre | | 5 |
|
| Master in Computer Engineering, in-depth approach, 1st year | | Premier quadrimestre | | 5 |
|
| Master in Computer science, Research Focus, 1st year | | Premier quadrimestre | | 6 |
|
| Master in Computer Engineering, specialized approach, 1st year | | Premier quadrimestre | | 5 |
|
| Master in Computer Science, Professional Focus (Management), 1st year | | Premier quadrimestre | | 6 |
|
| Master in Computer science | | Premier quadrimestre | | 6 |
|
|
|
| Holder(s) : | Pascal Gribomont |
|
| Language : | Langue française |
|
| 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, Thursday at 8:30 (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 (160 pages) will be handed out. |
|
| Assessment : | Written examination in November.
Oral examination. |
|
| Contacts : | P. Gribomont, 04 366 26 67, gribomont@montefiore.ulg.ac.be
(vanlishout@montefiore.ulg.ac.be) |
|
| Remarks : | http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
|
| |
