 | |
| INFO0051-1 | Logiques pour l'intelligence artificielle
 |
|
| Durée : | 30h Th, 30h Pr |
|
| Crédits/ECTS : |
| ingénieur civil informaticien, 2e année | | | | 5,5 |
|
| ingénieur civil informaticien, 3e année | | | | 5 |
|
| licencié en informatique, 1re année | | | | 6 |
|
| Master en ingénieur civil biomédical, à finalité approfondie, 1re année | | Toute l'année | | 5 |
|
| Master en ingénieur civil en informatique, à finalité approfondie, 1re année | | Toute l'année | | 5 |
|
| Master en sciences informatiques, à finalité approfondie, 1re année | | Toute l'année | | 6 |
|
| Master en ingénieur civil en informatique, à finalité spécialisée, 1re année | | Toute l'année | | 5 |
|
| Master en sciences informatiques, à finalité spécialisée, 1re année | | Toute l'année | | 6 |
|
| Master en sciences informatiques | | Toute l'année | | 6 |
|
|
|
| Titulaire(s) : | Pascal Gribomont |
|
| Langue : | Langue française |
|
| Aperçu général : | Calcul des propositions et des prédicats. Divers systèmes de preuve. Notions de modèle, théorèmes classiques sur les modèles. Complétude. Théorie, axiomatisation, exemples de théorie. Complétude d'une théorie, théories complètes et incomplètes. Théorie de Herbrand et résolution. Décidabilité: du syllogisme catégorique à la logique des prédicats monadiques. |
|
| Objectif du cours : | Maîtrise théorique et pratique des bases de la logique classique. |
|
| Pré-requis : | Aucun. |
|
| Travaux pratiques : | De nombreux exercices d'analyse de formules et de raisonnements font partie intégrante du cours. |
|
| Organisation : | 1er semestre, le jeudi à 8h30 (B28, local R7) |
|
| Notes de cours : | P. Gochet et P. Gribomont, Logique I: Méthodes pour l'informatique fondamentale, Hermès, Paris, 1998 (2ème édition).
Un résumé de 160 pages est mis à la disposition des étudiants. |
|
| Evaluation : | Une interrogation écrite (obligatoire), un examen oral. |
|
| Contacts : | P. Gribomont, 04 366 26 67, gribomont@montefiore.ulg.ac.be
F. Van Lishout, 04 366 26 19, vanlishout@montefiore.ulg.ac.be |
|
| Remarques : | |
|
|
| |
