Fondements de l'Informatique: Logique, modèles, calculs
CSC_41012_EP
INF 412
Drafts du poly:
(merci pour les retours / certains retours sont intégrés, d'autres non)
- *Chapitre 1: Introduction
- *Chapitre 2: Récursivité et induction
- *Chapitre 3: Calcul propositionnel
- *Chapitre 4: Preuves en calcul propositionnel
- *Chapitre 5: Calcul des prédicats
- *Chapitre 6: Modèles. Complétude
- *Chapitre 7: Machines de Turing
- *Chapitre 8: Calculabilité
- *Chapitre 9: Incomplétude
- *Chapitre 10: Bases de l'analyse d'algorithmes
- *Chapitre 11: NP-complétude
- *Chapitre 12: Quelques problèmes NP-complets
- *Chapitre 13: Complexité en mémoire