Preguntas ciencias de computabilidad05

4

1Resp

135Vistas

¿Fórmula de primer orden en el lenguaje de primer orden, otro lenguaje abierto donde verdadera equivalencia en los productos naturales?

Abierta

Preguntado el 5 de Enero, 2017 por user389821

3

1Resp

109Vistas

¿Dos recurrentemente sistemas enumerable $A$ y $B$ tal que ninguno de Unión, intersección, resta el otro es recurrente?

Abierta

Preguntado el 5 de Enero, 2017 por user389821

6

2Resp

224Vistas

Cardinalidad eficaz

Abierta

Preguntado el 7 de Junio, 2012 por manny smith

6

3Resp

221Vistas

¿Qué preguntas hacerse responsable/computable dada un conjunto de innumerables caracteres?

Resuelta

Preguntado el 6 de Mayo, 2013 por LB40

7

2Resp

571Vistas

¿CCR puede solucionar el problema de parada?

Resuelta

Preguntado el 26 de Enero, 2012 por Andre Holzner

8

5Resp

859Vistas

Texto de teoría de la recursión, alternativa a Soare

Abierta

Preguntado el 28 de Marzo, 2011 por philrabin

10

1Resp

291Vistas

Demostrando que $\Omega = (\lambda x.xx)(\lambda x.xx)$ no es tipificable en el cálculo simplemente mecanografiado de la lambda

Resuelta

Preguntado el 1 de Junio, 2014 por Brian

6

1Resp

244Vistas

Invariación de Turing en grandes conjuntos de

Resuelta

Preguntado el 10 de Diciembre, 2014 por T Walder

6

1Resp

139Vistas

Maridaje en la aritmética de Presburger

Resuelta

Preguntado el 18 de Marzo, 2017 por FFF

6

2Resp

270Vistas

Indecidibilidad del problema detener

Resuelta

Preguntado el 17 de Junio, 2013 por Piotr99

7

3Resp

436Vistas

¿Reducciones para idiomas regulares?

Resuelta

Preguntado el 8 de Junio, 2012 por znq

7

1Resp

538Vistas

¿Cuáles son$\Sigma _n^i$,$\Pi _n^i$ #% y% #%?

Resuelta

Preguntado el 31 de Marzo, 2013 por MphLee

6

3Resp

405Vistas

¿Es el conjunto de todas las fórmulas materiales decidible?

Resuelta

Preguntado el 1 de Septiembre, 2011 por user15381

8

3Resp

400Vistas

De lightface $\Sigma^1_1$ en negrita $\mathbf\Delta^1_1$

Resuelta

Preguntado el 14 de Octubre, 2012 por DanV

6

1Resp

222Vistas

Terminales rutas en Kleene ' s O

Abierta

Preguntado el 1 de Noviembre, 2012 por Uri Agassi

7

1Resp

193Vistas

Camino a la teoría de la realizabilidad categóricos

Abierta

Preguntado el 9 de Marzo, 2015 por ShihabSoft

7

1Resp

201Vistas

¿Quién primero descubrió que algunos conjuntos R.E. no son recursivos?

Abierta

Preguntado el 8 de Agosto, 2014 por MJD

7

1Resp

228Vistas

FRACTRAN de números naturales

Resuelta

Preguntado el 31 de Julio, 2015 por user1667423

8

2Resp

339Vistas

Hamilton Grafo Ponderado y los Problemas de Decisión de

Abierta

Preguntado el 19 de Febrero, 2015 por Guy Hughes

6

1Resp

215Vistas

¿Una máquina de Turing indecidible pero no universal?

Resuelta

Preguntado el 8 de Abril, 2014 por weux082690

6

2Resp

299Vistas

Ordinales definibles sobre $L_\kappa$

Resuelta

Preguntado el 30 de Diciembre, 2012 por George Gaál

6

5Resp

824Vistas

Hay al menos un número irracional con la propiedad de que no puede ser definido por un número finito de la cadena de la información?

Abierta

Preguntado el 7 de Septiembre, 2011 por Craig Stuntz

6

1Resp

168Vistas

Una pregunta sobre la no-estándar de los números ordinales en $\alpha-$recursividad

Abierta

Preguntado el 12 de Abril, 2013 por Jing Zhang

6

3Resp

256Vistas

¿En qué lugar de la jerarquía analítica se encuentra la teoría de conjuntos verdadera?

Resuelta

Preguntado el 6 de Noviembre, 2016 por Rocco

17

3Resp

1492Vistas

Demostrar Gödel del teorema de la incompletitud el uso de detener problema

Resuelta

Preguntado el 23 de Julio, 2011 por user7667

10

1Resp

344Vistas

¿Existe un autómata universal de empuje?

Abierta

Preguntado el 10 de Julio, 2012 por Alberto

14

4Resp

1475Vistas

La palabra problema para grupos finitos

Resuelta

Preguntado el 29 de Diciembre, 2010 por Paul Mrozowski

8

1Resp

297Vistas

Cuántos ocupado castores con el mismo número de estados

Resuelta

Preguntado el 13 de Diciembre, 2013 por Faiz

9

2Resp

275Vistas

Hay naturales conocidos problemas de intermedio grados de unsolvability?

Resuelta

Preguntado el 4 de Febrero, 2013 por bendewey

10

1Resp

363Vistas

¿Qué son los "oracle resultados"?

Abierta

Preguntado el 30 de Diciembre, 2016 por nbro

Preguntas ciencias computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Fórmula de primer orden en el lenguaje de primer orden, otro lenguaje abierto donde verdadera equivalencia en los productos naturales?

¿Dos recurrentemente sistemas enumerable $A$ y $B$ tal que ninguno de Unión, intersección, resta el otro es recurrente?

Cardinalidad eficaz

¿Qué preguntas hacerse responsable/computable dada un conjunto de innumerables caracteres?

¿CCR puede solucionar el problema de parada?

Texto de teoría de la recursión, alternativa a Soare

Demostrando que $\Omega = (\lambda x.xx)(\lambda x.xx)$ no es tipificable en el cálculo simplemente mecanografiado de la lambda

Invariación de Turing en grandes conjuntos de

Maridaje en la aritmética de Presburger

Indecidibilidad del problema detener

¿Reducciones para idiomas regulares?

¿Cuáles son$\Sigma _n^i$,$\Pi _n^i$ #% y% #%?

¿Es el conjunto de todas las fórmulas materiales decidible?

De lightface $\Sigma^1_1$ en negrita $\mathbf\Delta^1_1$

Terminales rutas en Kleene ' s O

Camino a la teoría de la realizabilidad categóricos

¿Quién primero descubrió que algunos conjuntos R.E. no son recursivos?

FRACTRAN de números naturales

Hamilton Grafo Ponderado y los Problemas de Decisión de

¿Una máquina de Turing indecidible pero no universal?

Ordinales definibles sobre $L_\kappa$

Hay al menos un número irracional con la propiedad de que no puede ser definido por un número finito de la cadena de la información?

Una pregunta sobre la no-estándar de los números ordinales en $\alpha-$recursividad

¿En qué lugar de la jerarquía analítica se encuentra la teoría de conjuntos verdadera?

Demostrar Gödel del teorema de la incompletitud el uso de detener problema

¿Existe un autómata universal de empuje?

La palabra problema para grupos finitos

Cuántos ocupado castores con el mismo número de estados

Hay naturales conocidos problemas de intermedio grados de unsolvability?

¿Qué son los "oracle resultados"?

Etiquetas mas usadas

i-Ciencias.com

Powered by: