Logique (mathématiques)
Une page de Wikiversité.
Logique
Chapitres
| Chapitre 1 : |  Introduction (?) |
|---|---|
| Chapitre 2 : | Grammaire des prédicats (?) |
| Chapitre 3 : | Déduction naturelle (?) |
| Chapitre 4 : | Autres formulations des principes de la logique du premier ordre (?) |
| Chapitre 5 : | Logiques d'ordre supérieur (?) |
| Chapitre 6 : | Théorie des modèles (?) |
| Chapitre 7 : | Définitions (?) |
| Chapitre 8 : | Égalité (?) |
| Chapitre 9 : | Complétude de la logique du premier ordre (?) |
Exercices
| Exercice 1 : | Forme Normale Disjonctive (?) |
|---|---|
| Exercice 2 : | Forme Normale Conjonctive (?) |
| Exercice 3 : | Méthode de Quine (?) |
| Exercice 4 : | Cohérence et formes causales (?) |
| Exercice 5 : | Méthode des tableaux (?) |
| Exercice 6 : | Calcul naturel (?) |
| Exercice 7 : | Calcul intuitionniste (?) |
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
Vous pouvez discuter ou modifier ces objectifs en modifiant cette section.
Niveau et prérequis conseillés
Les prérequis conseillés sont :
Vous pouvez discuter cette évaluation ou indiquer des prérequis manquants en modifiant cette section.
Référents
Ces contributeurs sont prêts à vous aider concernant ce cours :
Vous pouvez vous proposer comme référent en modifiant cette section.
