Fondements mathématiques de l'informatique

Stern

Utilisée dans les 1 développements suivants :

Complétude de la méthode de résolution

Utilisée dans les 2 leçons suivantes :

28 (2022) Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
919 (2017) Unification : algorithmes et applications.

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


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