Catégorie:Logique mathématique.html

A

• + Analyse non standard (0)
• + Axiome (2)

C

• + Calculabilité (0)

L

• + Langage formel (1)
• + Logique modale (0)

R

• + Réduction de problème (0)

T

• + Théorie des ensembles (4)
• + Théorie des modèles (0)

*

• Logique mathématique

3

• 3-SAT vers clique

A

• Arithmétique de Presburger
• Automate cellulaire
• Axiome logique
• Axiomes de Hilbert
• Axiomes de Peano

C

• Calcul des constructions
• Calcul des propositions
• Calcul des prédicats
• Calcul des relations
• Calcul des séquents
• Calculabilité
• Cohérence des axiomes de l'arithmétique formelle
• Consistance (mathématiques)
• Correspondance de Curry-Howard
• Correspondance et relation
• Curryfication

D

• Diagramme de Venn
• Diophantien
• Dixième problème de Hilbert
• Domaine du discours
• Décidabilité et indécidabilité
• Déduction naturelle
• Démonstration automatique
• Démonstration constructive

E

• Ensemble récursif
• Équivalence logique
• Équivalence élémentaire

F

• Forcing
• Forme normale (lambda-calcul)
• Forme normale de Skolem
• Forme normale disjonctive
• Forme prénexe
• Formule (logique mathématique)
• Formule atomique

G

• Géométrie euclidienne

H

• Hiérarchie arithmétique
• Hiérarchie polynomiale
• Hypercalcul

I

• Information Partielle Linéaire

K

• Edward Kofler

L

• Langage rationnel
• Lemme (mathématiques)
• Lemme de König
• Littéral (logique)
• Théorème de Löb
• Logique argumentative
• Logique classique
• Logique combinatoire
• Logique d'ordre supérieur
• Logique du dialogue
• Logique défaisable
• Logique intuitionniste
• Logique linéaire
• Logique minimale
• Logique propositionnelle
• Logique épistémique
• Loi de Peirce
• Lois de De Morgan

M

• Machine de Turing
• Mathématiques à rebours
• Modus ponens
• Méréologie

N

• Notation (mathématiques)
• Négation logique

P

• Paradoxe du menteur
• Postulat
• Problème de la décision
• Problème de la somme de sous-ensembles
• Problème du sac à dos
• Proposition (mathématiques)
• Prédicat (logique mathématique)

Q

• Quantificateur (logique)

R

• Récurrence transfinie
• Réduction polynomiale
• Réécriture (informatique)

S

• Sharp-P
• Skolémisation
• Stabilité (d'un schéma numérique)
• Style de Fitch pour la déduction naturelle
• Système F
• Système T
• Système formel
• Système à la Hilbert
• Sémantique de Kripke

T

• Alfred Tarski
• Théorie axiomatique
• Théorie de la complexité
• Théorie de la démonstration
• Théorie des ensembles
• Théorème d'incomplétude de Gödel
• Théorème de Cook
• Théorème de Goodstein
• Théorème de Herbrand
• Théorème de Lax
• Théorème de Lax-Wendroff
• Théorème de Post
• Théorème de Rice
• Théorème de Tarski
• Théorème de compacité
• Théorème de complétude (calcul des propositions)
• Théorème de complétude de Gödel
• Transitivité (mathématiques)
• Turing-complet
• Turing-équivalent

V

• Valeur de vérité
• Variable libre

É

• Élimination des quantificateurs