Enseignants
Langue
d'enseignement
d'enseignement
Français
Thèmes abordés
- Fondements de la logique formelle (tables de vérité, quantificateurs, mondes possibles, phrases logiques, modèles booléens).
- Théorie des ensembles et application à la spécification de systèmes formels.
- Logique propositionnelle et du premier ordre (syntaxe, sémantique et évaluation).
- Propriétés logiques : équivalences, implications, cohérence, validité, complétude, solidité, principe de résolution.
- Preuves logiques : raisonnement hypothétique et linéaire, forme normale, preuves par contradiction, preuves par relations et preuves par induction.
- Notions de théorie des jeux et de graphes, applications pratiques pour la modélisation et l'analyse de jeux.
Acquis
d'apprentissage
d'apprentissage
A la fin de cette unité d’enseignement, l’étudiant est capable de : | |
Eu égard au référentiel AA du programme « Bachelier en sciences informatiques », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
Les étudiants ayant suivi avec fruit ce cours seront capables de :
|
|
Contenu
- Introduction à la logique : tables de vérité, mondes possibles, formules logiques, modèles booléens
- Logique propositionnelle : syntaxe, sémantique, évaluation, satisfaction
- Propriétés logiques : équivalences, implications, cohérence, solidité, complétude
- Preuves logiques : preuves directes, déductions naturelles, relations et inductions
- Résolution : forme normale conjonctive (CNF), principe de résolution, résolution guidée
- Logique relationnelle, des termes et du premier ordre
- Introduction à la théorie des jeux et aux graphes
- Application au Game Description Language (GDL) : terminaison, jouabilité, gagnabilité, conformité structurelle
- Analyse des jeux par la logique : unification, dérivation, réduction
Méthodes d'enseignement
- Apprentissage par la pratique et la résolution de problèmes, en lien direct avec les thématiques abordées
- Cours magistraux : 2 heures par semaine
- Travaux dirigés/encadrés : 2 heures par semaine
- Correction d’exercices types et analyse d’exemples de questions d’examen
- Exercices variés et ludiques, favorisant l’ancrage des concepts
- Forum de questions/réponses pour soutenir l’apprentissage en continu
- Retour sur l’évaluation intermédiaire, afin d’identifier les points à améliorer et de mieux préparer l’examen final
Modes d'évaluation
des acquis des étudiants
des acquis des étudiants
- Évaluation intermédiaire : un test écrit aura lieu à la mi-quadrimestre et portera sur la première partie du cours.
- Examen final : un examen écrit couvrira l’ensemble de la matière.
- Bonus de participation aux TPs : un bonus de 0,5 points sur la note finale sera accordé aux étudiants ayant réalisé les tests proposées pendants les TPs, avec au maximum un test non réalisé sur l'ensemble du quadrimestre. Ce bonus dépend uniquement de la participation : les résultats obtenus aux tests n'ont aucune influence sur son attribution. Une copie blanche ou une remise ne contenant aucune tentative de réponse ne sera toutefois pas considérée comme un test réalisé. Le bonus s'ajoute à la note calculée à partir de l'examen final et de l'évaluation intermédiaire, avant l'arrondi et dans la limite de 20/20. Il s'applique uniquement en première sesion et n'est pas reporté en deuxième ou troisième session.
- Calcul de la note finale : Avant l'application du bonus éventuel, la note finale correspond à la moyenne pondérée de l’examen final (90 %) et de l’évaluation intermédiaire (10 %). Le résultat, éventuellement augmenté du bonus de participation aux TPs, est limité à 20/20 puis arrondi à un nombre entier. Le seuil de réussite est fixé à 10/20. Aucune décimale n'est autorisée.
- Seconde (Q2) et Troisième (Q3) session : La note finale obtenue en seconde et/ou troisième session sera toujours la note maximum obtenue entre l'ensemble des sessions d'examens passées. La note de l'évaluation intermédiaire ou le bonus n'interviennent qu'en première session et ne sera plus prise en compte pour les autres sessions d'examen.
- Utilisation d’outils d’IA (ex. ChatGPT) : Leur usage est strictement interdit lors de l’évaluation intermédiaire et de l’examen final. Pendant l’année, les étudiants peuvent toutefois recourir à ces outils pour s’exercer. Néanmoins, ils doivent les utiliser avec discernement : ces outils ne doivent pas donner l’illusion d’avoir compris un raisonnement sans en maîtriser la méthode. Il est donc fortement recommandé de réaliser régulièrement les exercices “en conditions d’examen”, c’est-à-dire sans aucune assistance numérique.
Ressources
en ligne
en ligne
Bibliographie
- Michael Genesereth and Eric J. Kao, "Introduction to Logic", third Edition, 2017, 163 pages, Springer
- Michael Genesereth and Viney K. Chaudhri, 'Introduction to Logic Programming", 2020, 200 pages, Springer
- Transparents en ligne
Faculté ou entité
en charge
en charge
