Fondements de l'Informatique: Logique, modèles, calculs

INF 412







Recent Changes- Printable Version - Search:



 

VIDEOS sur le cours 3

  • Globalement: Grands théorèmes du calcul des prédicats. Complétude.
  • ” ’Transparents en un seul fichier”’ (version imprimable 2x2)
  • Chapitres du polycopiés concernés: chapitre 5 et 6.
  • Partie a: Retour sur l’épisode précédent (il est important de passer du temps à comprendre le calcul des prédicats (cf vidéo fin cours 2), ici quelques rappels).
    • transparents: fichier plus haut du transparent 1 à 9..
    • (partie(s) relieé(s) du polycopié: chapitre 5).
  • Partie b: Quelques exemples
    • transparents: fichier plus haut du transparent 11 à 17..
    • (partie(s) relieé(s) du polycopié: chapitre 6).
  • Partie c: Equivalences et formes normales
    • transparents: fichier plus haut du transparent 18 à 20.
    • (partie(s) relieé(s) du polycopié: chapitre 5).
  • Partie d: Systèmes de déduction pour le calcul des prédicats
    • transparents: fichier plus haut du transparent 21 à 26.
    • (partie(s) relieé(s) du polycopié: chapitre 6).
  • Partie bonus: Systèmes de déduction pour le calcul des prédicats: déduction naturelle **
    • transparents: fichier plus haut du transparent 27 à 30.
  • Partie e: Grands théorèmes du calcul des prédicats
    • transparents: fichier plus haut du transparent 31 à 39.
    • (partie(s) relieé(s) du polycopié: chapitre 6).
  • Partie f: Conclusion. Idée de la preuve du théorème de complétude.
    • transparents: fichier plus haut du transparent 40 à fin.
    • (partie(s) relieé(s) du polycopié: chapitre 6, section 6.3).
Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on October 30, 2020, at 06:45 PM