Article soupçonné de non pertinence. Cliquez pour suivre ou participer au débat.
Leçons de niveau 14

Modèles de calcul

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
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.
Objectifs

Les objectifs de ce cours sont :

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

image logo modifier ces objectifs.
Niveau et prérequis conseillés

Ce cours est de niveau 14. Les prérequis conseillés sont :

  • aucun.

Image logo modifier ces prérequis.
Référents

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


Image logo modifier les référents.