Leçons de niveau 15

Logique (mathématiques)

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
Logique (mathématiques)
Autres leçons de 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 :

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

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


image logo modifier ces objectifs.

Niveau et prérequis conseillés

Leçon de niveau 15. Les prérequis conseillés sont :


Image logo modifier ces prérequis.


Référents

Ces contributeurs sont prêts à vous aider concernant cette leçon :

Keynote (inactif depuis 2007)


Question book-2.svg modifier les référents.