Logique (mathématiques)
Apparence
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) |
Interwikis
Présentation [ ]
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.
Objectifs [ ]
- 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
Niveau et prérequis conseillés [ ]
Leçon de niveau 15.
Référents [ ]
Ces personnes sont prêtes à vous aider concernant cette leçon :