 | |
| INFO0051-1 | Artificial Intelligence Logics
 |
|
| Duration : | 30h Th, 30h Pr |
|
| Credits/ECTS : |
| civil engineer in computer sciences, 2nd year | | | | 5,5 |
|
| civil engineer in computer sciences, 3rd year | | | | 5 |
|
| "licencié" in computer, 1st year | | | | 6 |
|
| Master in Biomedical Engineering, in-depth approach, 1st year | | Toute l'année | | 5 |
|
| Master in Computer Engineering, in-depth approach, 1st year | | Toute l'année | | 5 |
|
| Master in Informatical Sciences, in-depth approach, 1st year | | Toute l'année | | 6 |
|
| Master in Computer Engineering, specialized approach, 1st year | | Toute l'année | | 5 |
|
| Master in Informatical Sciences, specialized approach, 1st year | | Toute l'année | | 6 |
|
| Master in Informatical Sciences | | Toute l'année | | 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
F. Van Lishout, 04 366 26 19, vanlishout@montefiore.ulg.ac.be |
|
| Remarks : | |
|
|
| |
