 | |
| INFO0051-1 | Logiques pour l'intelligence artificielle
 |
|
| Durée : | 30h Th, 30h Pr |
|
| Crédits/ECTS : |
| ingénieur civil informaticien, 3e année | | | | 5 |
|
| Master en ingénieur civil biomédical, à finalité approfondie, 1re année | | Premier quadrimestre | | 5 |
|
| Master en ingénieur civil en informatique, à finalité approfondie, 1re année | | Premier quadrimestre | | 5 |
|
| Master en sciences informatiques, à finalité approfondie, 1re année | | Premier quadrimestre | | 6 |
|
| Master en ingénieur civil en informatique, à finalité spécialisée en gestion, 1re année | | Premier quadrimestre | | 5 |
|
| Master en sciences informatiques, à finalité spécialisée en gestion, 1re année | | Premier quadrimestre | | 6 |
|
| Master en sciences informatiques | | Premier quadrimestre | | 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
(vanlishout@montefiore.ulg.ac.be) |
|
| Remarques : | http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
|
| |
