Logique mathématique Tome 2

René Cori, Daniel Lascar

Utilisée dans les 2 développements suivants :

La fonction d'Ackermann n'est pas récursive primitive
Caractérisation des ensembles Récursivement Énumérables

Utilisée dans les 3 leçons suivantes :

912 (2021) Fonctions récursives primitives et non primitives. Exemples.
924 (2021) Théories et modèles en logique du premier ordre. Exemples.
28 (2022) Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.

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


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