¿Qué puedo hacer?

Encuentra

Semanticos

dbpedia > gödel

formatos disponibles
Ordenar por

Definición

Entscheidungsproblem

El Entscheidungsproblem (en castellano: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. ...

¿Quieres acceder a más contenidos educativos?

Iniciar sesión Únete a una clase
x

Añadir a Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...

Ayuda del juego
Juegos de anatomía
Selecciona nivel educativo