Logique et fondements de l'informatique

Rougemont, Lassaigne

Utilisée dans les 1 développements suivants :

Les fonctions récursives sont lambda-définissables

Utilisée dans les 4 leçons suivantes :

27 (2022) Décidabilité et indécidabilité. Exemples.
912 (2021) Fonctions récursives primitives et non primitives. Exemples.
28 (2022) Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
929 (2021) Lambda-calcul pur comme modèle de calcul. Exemples.

Utilisée dans les 2 versions de développements suivants :


Utilisée dans les 4 versions de leçons suivantes :