Enciclopedia Herder

Conceptos destacados

Todos los conceptos

• Algoritmo
• Cálculo lógico
• Decidibilidad
• Formalismo
• Lógica simbólica, lógica matemática
• Máquina de Turing
• Predicado
• Teorema de Church
• Tesis de Church-Turing

9 entradas — página 1 /1

| Ir a página