Calculabilité (MITRO 202) - Télécom ParisTech

Slides calculabilités

• Slides Calculabilité, décidabilité, thèse de Church.
• Slides Un autre résultat négatif.
• Slides Fonctions processus, thèse de Chuch.
• Slides Théorie des combinateurs, présentation non formelle.
• Slides Haskell B. Curry.
• Slides Théorie des combinateurs, présentation formelle.
• Slides Modélisation logico-combinatoire des réalités infromatiques.
• Slides La machine SK.
• Slides Le lambda-calcul.

Polycopié LEI

• Cours Logique et informatique

Slides LEI

• Slides Introduction.
• Slides Formalismes logique.
• Slides Elimination des coupures.
• Slides Théorie des types.
• Slides Isomorphisme de Curry-Howard.
• Slides Réalisabilité.

Cours en ligne de théorie des combinateurs

• Cours Théorie des combinateurs

Travaux pratiques

• TP.pdf

Logiciel

• La machine SK, Sources JSKI.tar.gz. Sous Linux, détarer dans un répertoire JSKI, puis faites make.

 
Mail-to: Patrick Bellot