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

CSC_41012_EP

INF 412

Tout cela sera disponible au fur et à mesure.

Cours 1, Vendredi 30 Août 2013:
- Sujet: Introduction, Récursivité/Induction, Calcul propositionnel.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 2, Vendredi 6 Septembre 2013.
- Sujet: Calcul propositionnel. Calcul des prédicats. Complétude.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 3, Vendredi 13 Septembre 2013.
- Sujet: Complétude. Grands théorèmes du calcul des prédicats. Incomplétude.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 4, Vendredi 20 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 27 Septembre 2013.
- Sujet: Calculabilité.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 6, Vendredi 4 Octobre 2013.
- Sujet: Calculabilité. Incomplétude. Introduction à la complexité.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 7, Vendredi 11 Octobre 2013.
- Sujet: Complexité en temps. NP-complétude.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 8, Vendredi 18 Octobre 2013.
- Sujet: Complexité en temps: suite.
- pdf animé pour affichage
- pdf 2x2 pour impression
Cours 9, Vendredi 25 Octobre 2013.
- Sujet: Complexité en espace. Autres complexités.
- pdf animé pour affichage
- pdf 2x2 pour impression