 | | |
| INFO0051-1 | Logique
|
|
| Durée : | 30h Th, 30h Pr |
|
| Nombre de crédits : |
|
|
| Nom du professeur : | Pascal Gribomont |
|
Langue(s) du cours :
|
| Langue française |
|
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) |
|
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. |
|
Modalités d'évaluation et critères :
|
| Une interrogation écrite en novembre,
un travail,
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
Stéphane Lens,
lens@montefiore.ulg.ac.be
(vanlishout@montefiore.ulg.ac.be) |
|
