Aller au contenu

Modèles de calcul

Ajouter des liens
Article soupçonné de non pertinence. Cliquez pour suivre ou participer au débat.
Leçons de niveau 14
Une page de Wikiversité, la communauté pédagogique libre.
Version datée du 3 mars 2017 à 12:05 par Youni Verciti (discussion | contributions) (page de discussion supprimée)
La pertinence du contenu de cet article est remise en cause.(Merci d'indiquer la date de pose grâce au paramètre date)
Considérez le contenu de cet article avec précaution. Discutez-en ou améliorez-le !
 
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 logoModifier 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 personnes sont prêtes à vous aider concernant ce cours :


Image logo Modifier cette liste

Récupérée de « https://fr.wikiversity.org/w/index.php?title=Modèles_de_calcul&oldid=641247 »