Fondements de l'Informatique: Logique, modèles, calculs
CSC_41012_EP
INF 412
A venir.
Quelques parties du polycopié
(certaines sont en cours de relecture)
Table of contents (mais pagination pas ok, et plan partiel):
Chapitres:
- Introduction
- Préliminaires
- Quelques algorithmes
- Qu'est ce qu'un algorithme
- Quelques modèles et leur équivalence
- Kit de survice en Calculabilité
- Circuits
A venir
- Classes non déterministes
- Complétude
- Algorithmes probabilistes
- Derandomization
- Algorithmes d'approximation
- Calculs sur les réels