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.

 Leçons

Aucune leçon concernant ce cours n'a été ajoutée. Pour le faire, cliquer ici.

[]

Objectifs

Les objectifs de ce cours sont :

• familiarisation avec les modèles mathématiques des ordinateurs et de la notion de calcul.

modifier ces objectifs.

Niveau et prérequis conseillés

Cours de niveau 14. Les prérequis conseillés sont :

• aucun.

modifier ces prérequis.

 Voir aussi

Personne n'a créé cette section.

[]

Référents

Ces contributeurs sont prêts à vous aider concernant ce cours :

• Psychoslave

modifier les référents.