Enciclopedia Herder

Conceptos destacados

Todos los conceptos

• Algoritmo
• Aprendizaje
• Axioma
• Axiomatización
• Ciencia helenística
• Concepción heredada
• Conclusión
• Decidibilidad
• Deducción
• Definición

• Formalismo
• Incompletud, teorema de la
• Inconsistencia
• Indecibilidad
• Inferencia, reglas de
• Lógica
• Matemáticas, filosofía de las
• Método axiomático
• Postulado
• Premisas

• Probabilidad, cálculo de la
• Probabilidad, teorías de la
• Procedimiento de decisión
• Prueba
• Sistema axiomático
• Sistema deductivo
• Sistema formal
• Tautología
• Teorema de Church
• Verdad lógica

• Verdad necesaria
• Verdad, teoría de la coherencia

32 entradas — página 1 /1

| Ir a página