Lógica simbólica y matemática
Lógica simbólica y matemática
CDU: 164
CDU: 510.6
Términos alternativos
- UP↸ Lógica matemática
- UP↸ Lógica universal
- UP↸ Simbólica
Términos genéricos
Términos relacionados
- TR⇆ Álgebra abstracta
- TR⇆ Álgebras cilíndricas
- TR⇆ Álgebras poliádicas
- TR⇆ Autómatas matemáticos, Teoría de
- TR⇆ Boole, Álgebra de
- TR⇆ Cálculo de predicados
- TR⇆ Cálculo lambda
- TR⇆ Cálculo proposicional
- TR⇆ Categorías (Matemáticas)
- TR⇆ Ciencias - Metodología
- TR⇆ Completitud, Teorema de
- TR⇆ Conjuntos admisibles
- TR⇆ Conjuntos, Teoría axiomática de
- TR⇆ Conjuntos, Teoría de
- TR⇆ Decidibilidad (Lógica matemática)
- TR⇆ Definibilidad, Teoría de la (Lógica matemática)
- TR⇆ Demostración, Teoría de la
- TR⇆ Funciones de verdad
- TR⇆ Funciones recursivas
- TR⇆ Gödel, Teorema de
- TR⇆ Independencia (Matemáticas)
- TR⇆ Lenguajes infinitarios
- TR⇆ Lógica algebráica
- TR⇆ Lógica combinatoria
- TR⇆ Lógica de primer orden
- TR⇆ Lógica de umbral
- TR⇆ Lógica matemática no clásica
- TR⇆ Máquinas lógicas
- TR⇆ Matemáticas
- TR⇆ Matemáticas constructivas
- TR⇆ Metamatemática
- TR⇆ Modelos, Teoría de
- TR⇆ Números cardinales
- TR⇆ Pragmática
- TR⇆ Probabilidades
- TR⇆ Programas y sistemas de programación - Exactitud
- TR⇆ Razonamiento
- TR⇆ Semántica (Filosofía)
- TR⇆ Silogismo
- TR⇆ Tipos, Teoría de
