FDI2
De Casimir.
Cette page est celle du cours de Fondement de l'Informatique partie 2.
Le cours se décompose en deux parties (voir le plan):
- Calculabilité,
- Théorie de modèles,
auxquelles il faut ajouter les TD.
[modifier] Calculabilité
Voici les supports de cours de calculabilité
- Pierre Lescanne
- Le cours commence par une introduction aux machines de Turing, sans défilement
- Ensuite viennent des applications des machines de Turing aux langages, sans défilement.
- La récursion et les fonctions récursives, sans défilement.
- Le dixième problème de Hilbert sans défilement
- Le problème SAT
- La complexité de Kolmogorov
- Alexandre Miquel
[modifier] TD de FDI2
- TD1
- TD2
- TD3
- TD4
- TD5
- TD11 et son corrigé
- TD12 et son annexe et la présentation complète des seuils dans SAT. Une présentation de SAT
[modifier] TD de PROG2
Là se trouvent les feuilles d'exercice de Prog2. Ça n'a rien à voir ou presque.
- TD1
- TD2 avec les règles de LJ d'après Gentzen.
- TD3
- Démonstration de la borne pour l'ordre polynomial
- TD12
- TD13 et le programme epsilon.ml
