Enciclopedia Herder

Conceptos destacados

• Máquina de Turing

Todos los conceptos

• Cálculo lógico
• Decidibilidad
• Decisión, problema de la
• Indecibilidad
• Lógica
• Método
• Procedimiento de decisión
• Tautología
• Teorema de Church
• Teorema

• Tesis de Church-Turing

11 entradas — página 1 /1

| Ir a página