Modèles de calcul
Modèles de calcul
Ce cours aborde les points suivants :
- lambda calcul : syntaxe, notion de variable libre et liée, réduction (règle beta), notion de terminaison, exemples de lambda-termes qui ne terminent pas (oméga), pouvoir d'expressivité du lambda-calcul, mise en œuvre de la réduction en ocaml ;
- machines de Turing : présentation et équivalence (sans preuve) avec d'autres modèles de calcul en particulier le lambda calcul.
[ ]
Objectifs
ces objectifs
Les objectifs de ce cours sont :
- familiarisation avec les modèles mathématiques des ordinateurs et de la notion de calcul.
ces objectifs
Niveau et prérequis conseillés
ces prérequis
Cours de niveau 14. Les prérequis conseillés sont :
- aucun.
ces prérequis
Voir aussi