« Modèles de calcul » : différence entre les versions

Contenu supprimé Contenu ajouté

Intégrés

Version du 3 mars 2017 à 12:05

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

Département
Informatique théorique

Scolarité
Licence MI

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

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 :

Modifier ces prérequis

Voir aussi

Personne n'a créé cette section.

Référents

Ces personnes sont prêtes à vous aider concernant ce cours :

Modifier cette liste

@@ Ligne 1 : / Ligne 1 : @@
+{{Modèle:Désaccord de pertinence}} ''cette page entre en conflit avec la catégorie éponyme dédiée aux modèles.''
 {{Cours
   | idfaculté   = informatique