Station MinuitPortail personnel de révision

IFT-2003 — Intelligence artificielle IAutomne 2026

Semaine 5 — Logique et raisonnement (1/3)

13. Carte des sources

LECTURE 14 / 151 repèreSynthèse avec omissions acceptées
Sommaire de cet article
  1. 13. Carte des sources
Autres lectures de cette unité
  1. Couverture, dates et plan
  2. 1. Vue d'ensemble
  3. 2. Anatomie d'un système logique
  4. 3. Logique propositionnelle
  5. 4. Règles d'inférence
  6. 5. Preuves propositionnelles
  7. 6. Calcul des prédicats
  8. 7. Quantificateurs et règles supplémentaires
  9. 8. Unification et preuves du premier ordre
  10. 9. Exercices et résultats
  11. 10. Corrections et pièges du matériel
  12. 11. Ce qu'il faut maîtriser
  13. 12. Actions et échéances
  14. 13. Carte des sources
  15. Limites documentaires
Couverture et sources

13. Carte des sources

Tableau 1 — Partie du sommaire · Sources principales
Partie du sommaire Sources principales
§§1–2 Description officielle; vidéo de présentation; introduction des deux diaporamas
§§3–5 Vidéo Exo7; diaporama et vidéo sur la logique propositionnelle; exercices et solutions
§§6–8 Diaporama et vidéo sur le calcul des prédicats; vidéo Exo7 pour les quantificateurs
§9.1 Exercices et solutions de logique propositionnelle; vidéo d'explication des exercices
§9.2 Exercices et solutions du calcul des prédicats; vidéo d'explication des exercices
§10 Contrôle croisé des diapositives, vidéos, énoncés et corrigés; vérification sémantique des formules
§11 Objectifs officiels, présentation et capsules explicatives
§12 Présentation de la semaine et page officielle des évaluations, vérifiée le 4 octobre 2026

La correspondance exhaustive, division par division, se trouve dans COUVERTURE_SOURCES.md [accès au cours requis].

Retour au sommaire de l’unitéHaut de page
Récupérer manuellement les données locales

Copier séparément les données ci-dessous dans des fichiers texte avant de fermer la page ou de modifier le stockage. Une valeur illisible ou incompatible reste en place. Aucun effacement ni rétablissement écrasant n’est effectué automatiquement. L’export/import JSON est disponible sur la page Progression du cours. Cette récupération séparée reste utile pour une valeur brute ou un conflit.

Clé de ce cours : . Format v1 porté par cette clé; dates UTC et identifiants durables.

Si l’accès est refusé, la valeur persistée peut rester inaccessible. Réautoriser le stockage dans le navigateur puis rouvrir ce cours permet de la relire. Une réinitialisation exige une décision explicite après récupération; aucune commande de suppression n’est proposée ici. Les données restent sur cette origine et cet appareil, sans transfert automatique.