Fondements de l'Informatique: Logique, modèles, calculs
CSC_41012_EP
INF 412
Séances
- Séance du mercredi 6 Janvier 2010
- "Algorithmes et Modèles de calcul"
- Séance du mercredi 13 Janvier 2010
- "Introduction à la calculabilité"
- Séance du mercredi 20 Janvier 2010
- "Circuits"
- Séance du mercredi 27 Janvier 2010
- "Temps non-déterministe"
- "Complexité en espace"
- Séance du mercredi 3 Février 2010
- "Problèmes complets"
- "Complexité parallèle"
- Séance du Mercredi 17 Février
- "Algorithmes et techniques probabilistes"
- Séance du Mecredi 3 Mars
- "Classes probabilistes"
- Séance (courte) du Jeudi 4 Mars
- "Hiérarchie polynomiale"
- Séance du mercredi 10 mars 2010
- "Protocoles interactifs"
- "Derandomisation"