Logic

Durée

25h Th, 25h Pr, 10h Proj.

Nombre de crédits

Enseignant

Pascal Gribomont

Langue(s) de l'unité d'enseignement

Langue anglaise

Organisation et évaluation

Enseignement au premier quadrimestre, examen en janvier

Horaire

Horaire en ligne

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 de l'unité d'enseignement

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) de l'unité d'enseignement

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

Compétence mathématique générale. Raisonnement par récurrence (théorie et pratique).
Programmation fonctionnelle (INFO0054-1)
 

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 jeudi à 8h00 (B28, local 2/93). Présentiel.

Lectures recommandées ou obligatoires et notes de cours

De nombreux ouvrages sont disponibles, en français et en anglais, notamment P. Gochet et P. Gribomont, Logique I: Méthodes pour l'informatique fondamentale, Hermès, Paris, 1998 (3ème édition). Un résumé (en français) de 160 pages est mis à la disposition des étudiants, ainsi que les transparents. 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 écrit 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