Logique (mathématiques)

Leçons de niveau 15
Une page de Wikiversité, la communauté pédagogique libre.
Logique (mathématiques)
Chapitres
Chap. 1 :Symbole icône indiquant que la page est à l'état d'ébauche Introduction (15)
Chap. 2 :Symbole icône indiquant que la page est à l'état d'ébauche Grammaire des prédicats (15)
Chap. 3 :Symbole icône indiquant que la page est à l'état d'ébauche Déduction naturelle (15)
Chap. 4 :Symbole icône indiquant que la page est à l'état d'ébauche Autres formulations des principes de la logique du premier ordre (15)
Chap. 5 :Symbole icône indiquant que la page est à l'état d'ébauche Logiques d'ordre supérieur (15)
Chap. 6 :Symbole icône indiquant que la page est à l'état d'ébauche Théorie des modèles (15)
Chap. 7 :Symbole icône indiquant que la page est à l'état d'ébauche Définitions (15)
Chap. 8 :Symbole icône indiquant que la page est à l'état d'ébauche Égalité (15)
Chap. 9 :Symbole icône indiquant que la page est à l'état d'ébauche Complétude de la logique du premier ordre (15)
Exercices
Exos. 1 :Page très complète et pleinement exploitable Forme Normale Disjonctive (15)
Exos. 2 :Page très complète et pleinement exploitable Forme Normale Conjonctive (15)
Exos. 3 :Page très complète et pleinement exploitable Méthode de Quine (15)
Exos. 4 :Page très complète et pleinement exploitable Cohérence et formes clausales (15)
Exos. 5 :Page très complète et pleinement exploitable Méthode des tableaux (15)
Exos. 6 :Page très complète et pleinement exploitable Calcul naturel (15)
Exos. 7 :Symbole icône indiquant que la page est à l'état d'ébauche Calcul intuitionniste (15)
Interwikis

Sur les autres projets Wikimedia :

Présentation [Modifier]

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 [Modifier]

  • 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 [Modifier]

Leçon de niveau 15.


Référents [Modifier]

Ces personnes sont prêtes à vous aider concernant cette leçon :