Station MinuitExplorer, comprendre, pratiquer

RAISONNEMENT — Raisonner et résoudreAutomne 2026

Semaine 7 — Logique et raisonnement : récursion et listes Prolog

10. Carte des sources et limites

LECTURE 12 / 121 repèreCouverture déclarée complète
Sommaire de cet article
  1. 10. Carte des sources et limites
Autres lectures de cette unité
  1. Couverture et repères
  2. Table des matières
  3. 1. Progression et objectifs
  4. 2. Relier les formalismes
  5. 3. Unification, arithmétique et comparaison
  6. 4. Récursion et recherche
  7. 5. Listes et prédicats fondamentaux
  8. 6. Si-alors-sinon
  9. 7. Exercices corrigés et raisonnements
  10. 8. Acquis et points de vigilance
  11. 9. Actions personnelles et évaluations
  12. 10. Carte des sources et limites
Couverture et sources

10. Carte des sources et limites

Chaque élément officiel figure ci-dessous. Les pages de navigation et titres de conteneurs ne sont pas comptés comme des ressources supplémentaires. Les entrées distinctes de deux résumés communs conservent l’attribution des activités et des discussions.

Tableau 1 — ID · Source et résumé propre · Sections intégrées
ID Source et résumé propre Sections intégrées
S01 Présentation de la semaine [accès au cours requis], transcription [accès au cours requis] 1; 8; 9.1–9.4
S02 Informations sur les exercices [accès au cours requis], transcription [accès au cours requis] 3.1; 6.1; 7; 8; 9.4
S03 Diaporama Langage Prolog [accès au cours requis], résumé [accès au cours requis] 2.4; 3–6; 8
S04 Vidéo explicative [accès au cours requis], transcription [accès au cours requis] 2.4; 3–6; 8
S05 Exercices [accès au cours requis], résumé [accès au cours requis] 7; 9.4
S06 Solutions [accès au cours requis], résumé [accès au cours requis] 7
S07 Fiche des formalismes [accès au cours requis], résumé [accès au cours requis] 2.1–2.4; 9.3
S08 Activité d’information [accès au cours requis], résumé S08 [accès au cours requis] 1; 9.4
S09 Activité de mise en pratique [accès au cours requis], résumé S09 [accès au cours requis] 1; 7; 9.4
S10 Objectifs de la synthèse [accès au cours requis], résumé P03 [accès au cours requis] 1; 8
S11 Invitation au questionnaire [accès au cours requis], résumé P04 [accès au cours requis] 9.2
S12 Sondage volontaire [accès au cours requis], résumé P05 [accès au cours requis] 9.4
A01 Calendrier espace de référence privé, résumé [accès au cours requis] 9.1–9.3
A02 Consignes du questionnaire no 2, résumé [accès au cours requis] 9.2
A03 Consignes de mi-session, résumé [accès au cours requis] 9.3
F01 Réutilisation des prédicats [accès au cours requis], résumé F01 [accès au cours requis] 4.3; 8
F02 Réflexion même sans IA [accès au cours requis], résumé F02 [accès au cours requis] 9.1
F03 Question récente renvoyée au fil existant [accès au cours requis], résumé F03 [accès au cours requis] Présente carte; renvoi de fond à F04, sans consigne nouvelle
F04 Fichiers d’entrée, trois réponses [accès au cours requis], résumé F04 [accès au cours requis] 9.1
F05 Syntaxe Swish [accès au cours requis], résumé F05 [accès au cours requis] 3.1; 8

Les trois pages du module ont été relues à la fin de la synchronisation; l’inventaire concorde avec les fichiers locaux. Les preuves de format, empreintes et contrôles de transcription [accès au cours requis] rendent la vérification reproductible. Les captures d’ancêtre sont conservées pour documenter la divergence entre vidéo et PDF.

Les répétitions entre sources sont intégrées; les pages de titre et plan, salutations, reprises d’enregistrement, hésitations et commentaires personnels sans valeur d’étude sont condensés ou exclus avec justification dans le registre. Aucun élément substantiel n’est écarté pour raccourcir le texte. Les autres discussions du forum et les annonces futures extérieures à la semaine 07 restent hors périmètre.

La limite résiduelle concerne la reconnaissance vocale automatique : les exemples formels ont été confrontés aux documents et les incohérences explicitées, mais les transcriptions ne sont pas des éditions officielles mot à mot. Les solutions Prolog sont expliquées par leurs clauses et leurs traces; aucun passage dans une évaluation ni aucune exécution dans une session Swish de l’utilisateur n’est revendiqué.

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 thème. 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.