Enciclopedia Herder

Conceptos destacados

Todos los conceptos

• Algoritmo
• Formalismo
• Lógica, historia de la
• Lógica
• Matemáticas, filosofía de las
• Negación
• Procedimiento de decisión
• Sistema formal
• Teorema de Church
• Teorema

10 entradas — página 1 /1

| Ir a página