« Logique (mathématiques) » : différence entre les versions

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