Categoría:Lógica matemática

A

• [×] Algoritmos SAT‎ (2 págs.)
• [+] Axiomas matemáticos‎ (2 cat, 5 págs.)

D

• [×] Demostradores de teoremas‎ (9 págs.)

T

• [×] Teoremas de lógica‎ (9 págs.)
• [+] Teoría de la decisión‎ (3 cat, 30 págs.)
• [×] Teoría de la demostración‎ (11 págs.)

T (cont.)

• [×] Teoría de modelos‎ (5 págs.)

• Lógica matemática

A

• Aritmética de Heyting
• Aritmética no estándar
• Aserción lógica
• Association for Symbolic Logic
• Axioma

C

• Concepto primitivo
• Constructivismo (matemáticas)
• Contradicción

D

• Décimo problema de Hilbert

E

• Enumeración

F

• Función beta de Gödel
• Función indicatriz

F (cont.)

• Fundamentos de la matemática

I

• Igualdad matemática
• Independencia (lógica matemática)
• Inducción estructural
• Intuicionismo

J

• Jerarquía analítica

L

• Leyes de De Morgan
• Literal (lógica matemática)
• Lógica binaria
• Lógica combinatoria
• Usuario:Lord Arioch/Lógica matemática

M

• Máquina oracle
• Model checking

N

• Número hiperreal
• Número de Dedekind
• Número surreal

P

• Postulado
• Problema de satisfacibilidad booleana
• Prueba de consistencia

S

• Semántica
• Sin pérdida de generalidad
• Sistema axiomático
• Sistema B,C,K,W
• Sistema formal

T

• Teoría de tipos