cette page entre en conflit avec la catégorie éponyme dédiée aux modèles.
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.
[modifier]
Leçons
[]
Objectifs
modifier ces 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
modifier ces prérequis.
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
modifier les référents.
Ces contributeurs sont prêts à vous aider concernant ce cours :
- Psychoslave
modifier les référents.
Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.