 | | |
| INFO0051-1 | Logic
|
|
| Durée : | 30h Th, 25h Pr, 10h Proj. |
|
| Nombre de crédits : |
| Master en ingénieur civil en informatique, à finalité approfondie, 1re année | | 5 |
|
| Master en sciences informatiques, à finalité approfondie, 1re année | | 6 |
|
| Master en sciences informatiques, à finalité approfondie, 1re année | | 5 |
|
| Master en ingénieur civil en informatique, à finalité spécialisée en gestion, 1re année | | 5 |
|
| Master en sciences informatiques, à finalité spécialisée en gestion, 1re année | | 5 |
|
| Master en sciences informatiques, à finalité spécialisée en gestion, 1re année | | 6 |
|
| Master en sciences informatiques | | 5 |
|
|
|
| Nom du professeur : | Pascal Gribomont |
|
Langue(s) du cours :
|
| Langue anglaise |
|
Organisation et évaluation :
|
| Enseignement au premier quadrimestre, examen en janvier |
|
Contenus du cours :
|
| Calcul des propositions et des prédicats. Divers systèmes de preuve. Notions de modèle, théorèmes classiques sur les modèles. Axiomatisation adéquate et complète. Théorie de Herbrand et résolution. Décidabilité: du syllogisme catégorique à la logique des prédicats monadiques.
Applications: intelligence artificielle, programmation logique, vérification de programmes. |
|
Acquis d'apprentissage (objectifs d'apprentissage) du cours :
|
| Maîtrise théorique et pratique des bases de la logique classique.
Raisonnement formel, mathématique. |
|
Prérequis et corequis / Modules de cours optionnels recommandés :
|
| Aucun. |
|
Activités d'apprentissage prévues et méthodes d'enseignement :
|
| De nombreux exercices d'analyse de formules et de raisonnements font partie intégrante du cours. |
|
Mode d'enseignement (présentiel ; enseignement à distance) :
|
| 1er quadrimestre, le mardi à 8h30 (B28, local 2/93).
Présentiel. |
|
Lectures recommandées ou obligatoires et 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.
Voir aussi http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
Modalités d'évaluation et critères :
|
| Une interrogation écrite en novembre,
un travail de programmation,
un examen oral. |
|
Stage(s) :
|
| |
|
Remarques organisationnelles :
|
| http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
Contacts :
|
| Pascal Gribomont, gribomont@montefiore.ulg.ac.be
Isabelle Mainz, isabelle.mainz@ulg.ac.be |
|
