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

CSC_41012_EP

INF 412

Cours 1, Vendredi 31 Août 2012:
- Sujet: Introduction, Récursivité/Induction, Calcul propositionnel
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 2, Vendredi 7 Septembre 2012.
- Sujet: Calcul propositionnel. Calcul des prédicats. Complétude.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 3, Vendredi 14 Septembre 2012.
- Sujet: Grands théorèmes du calcul des prédicats. Incomplétude
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 4, Vendredi 21 Septembre 2012.
- Sujet: Modèles de Calculs. Machines de Turing. Thèse de Church-Turing.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 5, Vendredi 28 Septembre 2012.
- Sujet: Calculabilité.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 6, Vendredi 5 Octobre 2012.
- Sujet: Calculabilité. Incomplétude. Introduction à la complexité.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 7, Vendredi 12 Octobre 2012.
- Sujet: Complexité en temps. NP-complétude.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 8, Vendredi 19 Octobre 2012.
- Sujet: Complexité en temps: suite.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 9, Vendredi 26 Octobre 2012.
- Sujet: Complexité en espace. Autres complexités.
- pdf animé pour affichage
- pdf 2x2 pour impression