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

Contenu supprimé Contenu ajouté
mise à jour
maintenance
Ligne 1 :
{{Leçon
| idfaculté = mathématiques
| département = Fondements logiques et ensemblistes des mathématiques
| autres projets = oui
| 1 = {{C|Introduction|0|15}}
| 2w = {{C|Grammaire des prédicats|0|15}}= Logique mathématique
| 31 = {{C|Déduction naturelleIntroduction|0|15}}
| 42 = {{C|Autres formulationsGrammaire des principes de la logique du premier ordreprédicats|0|15}}
| 53 = {{C|Logiques d'ordreDéduction supérieurnaturelle|0|15}}
| 64 = {{C|ThéorieAutres formulations des modèlesprincipes de la logique du premier ordre|0|15}}
| 75 = {{C|DéfinitionsLogiques d'ordre supérieur|0|15}}
| 86 = {{C|ÉgalitéThéorie des modèles|0|15}}
| 97 = {{C|Complétude de la logique du premier ordreDéfinitions|0|15}}
| exo18 = {{ExoC|Forme Normale DisjonctiveÉgalité|40|15}}
| exo29 = {{ExoC|FormeComplétude de la logique du Normalepremier Conjonctiveordre|40|15}}
| exo3exo1 = {{Exo|MéthodeForme deNormale QuineDisjonctive|4|15}}
| exo4exo2 = {{Exo|Cohérence etForme formesNormale clausalesConjonctive|4|15}}
| exo5exo3 = {{Exo|Méthode desde tableauxQuine|4|15}}
| exo6exo4 = {{Exo|CalculCohérence et formes naturelclausales|4|15}}
| exo7exo5 = {{Exo|CalculMéthode des intuitionnistetableaux|04|15}}
| niveauexo6 = {{Exo|Calcul naturel|4|15}}
| 1exo7 = {{CExo|IntroductionCalcul intuitionniste|0|15}}
| niveau = 15
}}