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

Cours 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.