Complétude de la méthode de résolution : Différence entre versions
De AgregmathKL
(Page créée avec « Où l'on montre que la méthode de résolution a un sens… == Développement == *24px [[Média:dvt_resolution.tex | Complétude de la mé… ») |
(Aucune différence)
|
Version du 18 juin 2012 à 09:42
Où l'on montre que la méthode de résolution a un sens…
Développement
Recasements
- 917 -- Logique du premier ordre : syntaxe et sémantique.
- 918 -- Systèmes formels de preuve en logique du premier ordre : exemples.
- 919 -- Unification : algorithmes et applications.
- 924 -- Théories et modèles en logique du premier ordre. Exemples.
Références
- Jacques Stern, Fondements mathématiques de l'informatique
- Cori-Lascar, Logique mathématique