Programme des cours 2015-2016
| INFO0051-1 | |||||||||||
| Logic | |||||||||||
|
Durée :
|
|||||||||||
| 30h Th, 25h Pr, 10h Proj. | |||||||||||
|
Nombre de crédits :
|
|||||||||||
|
|||||||||||
|
Nom du professeur :
|
|||||||||||
| Pascal Gribomont | |||||||||||
|
Langue(s) du cours :
|
|||||||||||
| Langue anglaise | |||||||||||
|
Organisation et évaluation :
|
|||||||||||
| Enseignement au premier quadrimestre, examen en janvier | |||||||||||
|
Unités d'enseignement prérequises et corequises :
|
|||||||||||
| Les unités prérequises ou corequises sont présentées au sein de chaque programme | |||||||||||
|
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. Tableaux sémantiques 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.
Utilisation de la logique pour la modélisation de problèmes simples en intelligence artificielle et pour la vérification de circuits logiques et de programmes. |
|||||||||||
|
Savoirs et compétences prérequis :
|
|||||||||||
| Aucun. | |||||||||||
|
Activités d'apprentissage prévues et méthodes d'enseignement :
|
|||||||||||
| Un cours théorique et une séance d'exercices dirigés par semaine. | |||||||||||
|
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 petit travail de programmation, un examen oral en janvier. | |||||||||||
|
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 |
|||||||||||