Logique (mathématiques)
Logique (mathématiques)
Chapitres
| Chap. 1 : |  Introduction (15) |
|---|---|
| Chap. 2 : | Grammaire des prédicats (15) |
| Chap. 3 : | Déduction naturelle (15) |
| Chap. 4 : | Autres formulations des principes de la logique du premier ordre (15) |
| Chap. 5 : | Logiques d'ordre supérieur (15) |
| Chap. 6 : | Théorie des modèles (15) |
| Chap. 7 : | Définitions (15) |
| Chap. 8 : | Égalité (15) |
| Chap. 9 : | Complétude de la logique du premier ordre (15) |
Exercices
| Exos. 1 : |  Forme Normale Disjonctive (15) |
|---|---|
| Exos. 2 : | Forme Normale Conjonctive (15) |
| Exos. 3 : | Méthode de Quine (15) |
| Exos. 4 : | Cohérence et formes clausales (15) |
| Exos. 5 : | Méthode des tableaux (15) |
| Exos. 6 : | Calcul naturel (15) |
| Exos. 7 : | Calcul intuitionniste (15) |
Interwikis
Cette leçon a pour objectif de définir ce qu'est la logique et vous présenter les différentes approches de la logique.
[modifier]
Objectifs
Les objectifs de cette leçon sont :
- Comprendre les problématiques de la formalisation, de déduction, et de vérité
- Savoir distinguer les logiques les plus courantes et leurs caractéristiques
- Connaitre ses applications en mathématique, philosophie, linguistique et informatique
modifier ces objectifs.
Niveau et prérequis conseillés
Leçon de niveau 15. Les prérequis conseillés sont :
modifier ces prérequis.
Référents
Ces contributeurs sont prêts à vous aider concernant cette leçon :
- Keynote (inactif depuis 2007)
modifier les référents.