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

INF 412







Recent Changes- Printable Version - Search:



 

VIDEOS sur le cours 4

(version imprimable 2x2)

  • Partie a: Retour sur l’épisode précédent. Complétude.
    • transparents: fichier plus haut du transparent 1 à 5..
    • (partie(s) relieé(s) du polycopié: chapitres 5 et 6).
  • Partie b: Graphes, Groupes, Corps, ... Et les entiers?
    • transparents: fichier plus haut du transparent 6 à 12..
    • (partie(s) relieé(s) du polycopié: Chapitres 6, section 6.1.7 à 6.2, et chapitre 10).
  • Partie c: Théorème d’incomplétude.
    • transparents: fichier plus haut du transparent 13 à 17..
    • (partie(s) relieé(s) du polycopié: chapitre 10).
  • Partie bonus: Et si on utilisait cela pour faire de l’analyse non-standard. video
    • transparents: fichier plus haut

.

  • Partie d: Objectifs de la suite du cours. Machines de Turing
    • transparents: fichier plus haut du transparent 18 à 30..
    • (partie(s) relieé(s) du polycopié: chapitre 7).
  • Partie e: Programmer avec des Machines de Turing
    • transparents: fichier plus haut du transparent 31 à 40 et annexes..
    • (partie(s) relieé(s) du polycopié: chapitre 7).
  • Partie f: Variantes de la notion de Machine de Turing. Une conclusion.
    • transparents: fichier plus haut du transparent 41 à 46..
    • (partie(s) relieé(s) du polycopié: chapitre 7).
Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on November 07, 2020, at 08:27 AM