« Logique (mathématiques) » : différence entre les versions
Contenu supprimé Contenu ajouté
mAucun résumé des modifications |
mise à jour |
||
Ligne 1 :
{{Leçon
| idfaculté = mathématiques
| département = Fondements logiques et ensemblistes des mathématiques
| 1 = {{C|Introduction|0|
| 2 = {{C|Grammaire des prédicats|0|
| 3 = {{C|Déduction naturelle|0|
| 4 = {{C|Autres formulations des principes de la logique du premier ordre|0|
| 5 = {{C|Logiques d'ordre supérieur|0|
| 6 = {{C|Théorie des modèles|0|
| 7 = {{C|Définitions|0|
| 8 = {{C|Égalité|0|
| 9 = {{C|Complétude de la logique du premier ordre|0|
| exo1 = {{Exo|Forme Normale Disjonctive|4|
| exo2 = {{Exo|Forme Normale Conjonctive|4|
| exo3 = {{Exo|Méthode de Quine|4|
| exo4 = {{Exo|Cohérence et formes clausales|4|
| exo5 = {{Exo|Méthode des tableaux|4|
| exo6 = {{Exo|Calcul naturel|4|
| exo7 = {{Exo|Calcul intuitionniste|0|
| niveau = 15
}}
|