Semanticos

dbpedia > entscheidungsproblem

formatos disponibles

Artículo Wikipedia

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. ...

Hezkuntza-eduki gehiago eskuratu nahi dituzu?

Saioa hasi Egin bat eskola batekin
x

Didactalia-ri Gehitzea Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...

Jokoaren laguntza
Juegos de anatomía
Selecciona nivel educativo