Sommaire maître — Semaine 05
Logique et raisonnement (1/3)
Cours : IFT-2003 — Intelligence artificielle I
Date officielle du module : 28 septembre 2026
Sources vérifiées : 4 octobre 2026
État : complet — 12 ressources sur 12 et 46 divisions sources sur 46
Module officiel : https://www.brioeducation.ca/sites/pohlaxj807/modules/pohlaxj807-lbyawkf889/
Ce document est une synthèse autonome de la semaine. Les erreurs ou ambiguïtés présentes dans le matériel officiel sont conservées comme faits documentaires, mais corrigées explicitement afin de ne pas être mémorisées comme règles générales.
Table des matières
- Vue d'ensemble
- Anatomie d'un système logique
- Logique propositionnelle
- Règles d'inférence
- Preuves propositionnelles
- Calcul des prédicats
- Quantificateurs et règles supplémentaires
- Unification et preuves du premier ordre
- Exercices et résultats
- Corrections et pièges du matériel
- Ce qu'il faut maîtriser
- Actions et échéances
- Carte des sources