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 6

• Globalement: Calculabilité.
• ” ’Transparents en un seul fichier”’ (version imprimable 2x2)
• Partie a: Introduction
  • 
  • transparents: fichier plus haut du transparents 1 à 2.
• Partie b: Thèse de Church (encore et encore) video
  • 
  • 
  • transparents: fichier plus haut transparents 3 à 14.
  • (partie(s) relieé(s) du polycopié: chapitre 8).
• Partie c: Calculabilité.
  • 
  • transparents: fichier plus haut du transparent 16 à 33..
  • (partie(s) relieé(s) du polycopié: chapitre 9).
• Partie d: Quelques résultats amusants de la calculabilité
  • 
  • transparents: fichier plus haut du transparent 35 à 38..
  • (partie(s) relieé(s) du polycopié: chapitres 9).
• Partie e: Epilogue. La suite.
  • 
  • transparents: fichier plus haut transparent 42.