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

• Page Principale
• Polycopié
• Handout in English
• Cours
• Vidéos 2020 (covid...)
• Plus sur les sujets du cours
• Petites Classes (TDs)
• Examens 1/2 cours &Corrigés
• Examens Finaux & Corrigés
•  Archives

VIDEOS sur le cours 7

• Globalement: Calculabilité.
• ” ’Transparents en un seul fichier”’ (version imprimable 2x2)
• Partie a: Introduction. Un problème non R.E. eet dont le complémenaire n’est pas R.E.
  • 
  • transparents: fichier plus haut du transparents 1 à 5.
  • (partie(s) relieé(s) du polycopié: ce n’est pas dans le polycopié).
• Partie b: Une application du théorème de récursion
  • 
  • transparents: fichier plus haut du transparent 6 à 9.
  • (partie(s) relieé(s) du polycopié: ce n’est pas dans le polycopié).
• Partie c: Preuve du théorème d’Incomplétude de Gödel.
  • 
  • transparents: fichier plus haut du transparent 10 à 23.
  • (partie(s) relieé(s) du polycopié: chapitre 10).
• Partie d: Esprit du second théorème d’incomplétude de Gödel
  • 
  • transparents: fichier plus haut transparent 24. chapitres 10
• Partie e: Introduction à la complexité.
  • 
  • transparents: fichier plus haut transparent 25 à 37..
• Partie f: La suite. Annexes .
  • 
  • 
  • transparents: fichier plus haut transparent 38 à la fin..