Date Titre
- 15/03/2023 CC_Ch04 Vidéo 4 : Automates finis (v2)
- 06/05/2021 CC_cours_S11
- 06/05/2021 CC_cours_S10
- 06/05/2021 CC_cours_S12
- 15/04/2021 CC_Ch08 Vidéo 3 : Au delà
- 15/04/2021 CC_Ch08 Vidéo 2 : Que faire si ?
- 15/04/2021 CC_Ch08 Vidéo 1 : Thèse CT + Propriétés modèles de calculabilité
- 15/04/2021 CC_Ch07 Vidéo 7 : P != NP ?
- 15/04/2021 CC_Ch07 Vidéo 6 : Problèmes NP-complets
- 15/04/2021 CC_Ch07 Vidéo 5 : Théorème de Cook
- 15/04/2021 CC_Ch07 Vidéo 4 : NP-complétude
- 15/04/2021 CC_Ch07 Vidéo 3 : Relations entre classes
- 15/04/2021 CC_Ch07 Vidéo 2 : Classes de complexité
- 15/04/2021 CC_Ch07 Vidéo 1 : Réduction
- 15/04/2021 CC_Ch06 Vidéo 3 : Problèmes intrinsèquement complexes
- 15/04/2021 CC_Ch06 Vidéo 2: Notation "grand O"
- 15/04/2021 CC_Ch06 Vidéo 1 : Complexité
- 15/04/2021 CC_cours_S9 Partie 2
- 15/04/2021 CC_cours_S9 Partie 1
- 29/03/2021 CC_cours_S8
- 29/03/2021 CC_cours_S7
- 29/03/2021 CC_cours_S6
- 09/03/2021 CC_cours_S5
- 28/02/2021 CC_cours_S4
- 26/02/2021 CC_Ch03 Vidéo 7 : 3.9. Réduction à halt
- 25/02/2021 CC_Ch05 Vidéo 5 : Raisonnement
- 25/02/2021 CC_Ch05 Vidéo 4 : Modélisation
- 25/02/2021 CC_Ch05 Vidéo 3 : SAT et conséquence logique
- 25/02/2021 CC_Ch05 Vidéo 2 : Sémantique
- 25/02/2021 CC_Ch05 Vidéo 1 : Logique des propositions
- 25/02/2021 CC_Ch04 Vidéo 6 : Machines de Turing extensions
- 25/02/2021 CC_Ch04 Vidéo 5 : Machines de Turing
- 25/02/2021 CC_Ch04 Vidéo 4 : Automates finis
- 25/02/2021 CC_Ch04 Vidéo 3 : Langage non déterministe
- 25/02/2021 CC_Ch04 Vidéo 2 : Langage de programmation
- 25/02/2021 CC_Ch04 Vidéo 1 : Modèle
- 25/02/2021 CC_Ch03 Vidéo 13 : 3.12-14. Autres
- 25/02/2021 CC_Ch03 Vidéo 12 : 3.11. Preuve théorème du point fixe
- 25/02/2021 CC_Ch03 Vidéo 11 : 3.11. Théorème du point fixe
- 25/02/2021 CC_Ch03 Vidéo 10 : 3.10. S-m-n
- 25/02/2021 CC_Ch03 Vidéo 9 : 3.9. Preuve théorème de Rice
- 25/02/2021 CC_Ch03 Vidéo 8 : 3.9. Théorème de Rice
- 23/02/2021 CC_cours_S3 partie 2
- 23/02/2021 CC_cours_S3 partie 1
- 17/02/2021 CC_Ch03 Vidéo 6 : 3.8. Extension fonction totale
- 17/02/2021 CC_Ch03 Vidéo 5 : 3.7. Hoare-Allison
- 11/02/2021 CC_cours_S2 partie 2
- 11/02/2021 CC_cours_S2 partie 1
- 11/02/2021 CC_Ch03 Vidéo 4 : 3.5-3.6 Problème de l'arrêt
- 11/02/2021 CC_Ch03 Vidéo 3 : 3.3-3.4 Thèse Church-Turing
- 11/02/2021 CC_Ch03 Vidéo 2: 3.2. Fonction calculable
- 11/02/2021 CC_Ch03 Vidéo 1: 3.1 Algorithme
- 08/02/2021 CC_cours_S1 partie 2
- 08/02/2021 CC_cours_S1 partie 1
- 03/02/2021 CC_Ch02 Vidéo 3 : Cantor
- 03/02/2021 CC_Ch02 Vidéo 2 : ensemble énumérable
- 03/02/2021 CC_Ch02 Vidéo 1 : ensemble et fonction