Fondements de l'Informatique: Logique, modèles, calculs
INF 412
Transparents des cours
Maintenant cela est sur moodle. Désolé, moodle n'est pas ouvert vers l'extérieur. Par contre, on peut retrouver les transparents ici.
- Cours 1: Introduction, Récursivité/Induction, Calcul proposi- tionnel.
- Cours 2: Calcul propositionnel: rappels, complétude fonction- nelle, théorème de compacité. Calcul des prédicats.
- Cours 3: Grands théorèmes du calcul des prédicats. Complé- tude.
- Cours 4: Incomplétude de la logique. Introduction aux machines de Turing.
- Cours 5: Machines de Turing. Modèle de Calculs. Thèse de Church-Turing. Calculabilité.
- Cours 6: Calculabilité.
- Cours 7: Calculabilité. Preuve des théorèmes d'incomplétude de Gödel.
- Cours 8: NP-compétude.
- Cours 9: NP-complétude (suite). Gérer la NP-complétude: Un exemple.
- Cours 10: D'autres complexité que le temps.