Preguntas de en-computación03

81

3Resp

5374Vistas

Se busca: un "Coq para el matemático que trabaja"

Abierta

Preguntado el 28 de Enero, 2014 por David Gardiner

186

3Resp

73200Vistas

ACTUALIZACIÓN: en la teoría de grafos, las diferentes definiciones del borde de cruzar los números de impacto en las aplicaciones?

Resuelta

Preguntado el 28 de Julio, 2020 por user161819

65

5Resp

12203Vistas

Relacionados con la Categoría de la Teoría a la Teoría del Lenguaje de Programación

Resuelta

Preguntado el 5 de Noviembre, 2009 por Patrick

59

2Resp

1384Vistas

Cálculo con un borrado de la memoria de la computadora

Abierta

Preguntado el 28 de Julio, 2010 por prakash

62

5Resp

50279Vistas

¿Qué lenguajes de programación hacen los matemáticos utilizan?

Cerrada

Preguntado el 8 de Enero, 2010 por palotasb

43

5Resp

1313Vistas

¿Por qué creemos en la tesis de Church-Turing?

Resuelta

Preguntado el 26 de Mayo, 2013 por Esben Skov Pedersen

31

5Resp

3551Vistas

¿Es el conjunto de todos los programas C++ válidos infinito numerable?

Resuelta

Preguntado el 29 de Septiembre, 2012 por John Hoffman

30

5Resp

1908Vistas

Puede matemáticas obtener de otras ciencias, lo que recibió de la física?

Abierta

Preguntado el 8 de Enero, 2015 por Virginia Ramunda Marty

25

1Resp

735Vistas

Siempre se extraña a muchos en la expresión binaria de $10^{10^{n}}$?

Resuelta

Preguntado el 5 de Octubre, 2011 por dave

33

5Resp

3995Vistas

¿Cómo es contable el conjunto de todos los programas?

Abierta

Preguntado el 20 de Febrero, 2013 por user63209

50

1Resp

693Vistas

¿Cálculo relacional sería Turing-completo si permite consultas inseguras?

Abierta

Preguntado el 27 de Marzo, 2010 por solarce

24

5Resp

4071Vistas

Es un método de fuerza bruta considerar una prueba?

Resuelta

Preguntado el 18 de Marzo, 2014 por Igglyboo

69

3Resp

1537Vistas

¿Cuánto significa integración simbólica a las matemáticas?

Resuelta

Preguntado el 11 de Mayo, 2011 por psychotik

20

4Resp

1638Vistas

¿se aplica el "teorema de la convolución" a las estructuras algebraicas más débiles?

Resuelta

Preguntado el 31 de Diciembre, 2009 por Jakub Šturc

23

4Resp

2045Vistas

Es el ajedrez de Turing-completo?

Abierta

Preguntado el 11 de Octubre, 2011 por bryceadams

20

1Resp

495Vistas

Matemáticas de Torrenting

Abierta

Preguntado el 24 de Mayo, 2013 por nullUser

49

3Resp

4516Vistas

¿Cómo probar un lenguaje de programación es Turing completo?

Resuelta

Preguntado el 22 de Febrero, 2012 por Terry Day

26

3Resp

1228Vistas

¿Qué hacen los operadores bit a bit en 3d?

Resuelta

Preguntado el 24 de Diciembre, 2014 por Simon Kuang

27

4Resp

4155Vistas

Número de maneras de dividir un rectángulo en n sub-rectángulos

Resuelta

Preguntado el 29 de Julio, 2010 por Edward Luong

23

4Resp

6908Vistas

Bibliotecas C++ para el cálculo estadístico

Resuelta

Preguntado el 18 de Febrero, 2011 por Shawn

45

2Resp

16374Vistas

¿Qué libros recomiendas antes de Concreto de las Matemáticas'?

Resuelta

Preguntado el 4 de Junio, 2011 por fischz14

20

3Resp

3024Vistas

Satisfacción de las fórmulas booleanas generales con un máximo de dos ocurrencias por variable

Resuelta

Preguntado el 21 de Diciembre, 2009 por Philipp Keller

32

5Resp

21315Vistas

Herramientas en línea para hacer matemática simbólica

Resuelta

Preguntado el 9 de Junio, 2011 por Steve Weet

25

4Resp

3928Vistas

Ackermann Función primitiva recursiva

Resuelta

Preguntado el 4 de Enero, 2012 por user22326

49

5Resp

17266Vistas

¿Como muestra de una distribución normal con media conocida y varianza usando un lenguaje de programación convencional?

Resuelta

Preguntado el 1 de Octubre, 2011 por Kyle Hodgson

22

2Resp

2333Vistas

Densidad de detener máquinas de Turing

Resuelta

Preguntado el 16 de Octubre, 2011 por easycheese

19

2Resp

1186Vistas

¿Cuál es la complejidad de la sucinta (binario) Nurikabe?

Abierta

Preguntado el 30 de Marzo, 2011 por Mike

18

5Resp

969Vistas

¿Cuáles son los teoremas de las matemáticas demostrado por un equipo hasta ahora?

Abierta

Preguntado el 31 de Agosto, 2012 por kubi

15

1Resp

199Vistas

Existe un algoritmo para decidir grande/pequeño-O consultas?

Abierta

Preguntado el 12 de Octubre, 2015 por JeremyKun

17

3Resp

1456Vistas

¿De cuántas maneras podemos ponemos a $N$ atacando mutuamente no caballeros en un tablero de ajedrez de $M \times M$?

Abierta

Preguntado el 15 de Febrero, 2013 por user62427

Preguntas de en-computación

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Se busca: un "Coq para el matemático que trabaja"

ACTUALIZACIÓN: en la teoría de grafos, las diferentes definiciones del borde de cruzar los números de impacto en las aplicaciones?

Relacionados con la Categoría de la Teoría a la Teoría del Lenguaje de Programación

Cálculo con un borrado de la memoria de la computadora

¿Qué lenguajes de programación hacen los matemáticos utilizan?

¿Por qué creemos en la tesis de Church-Turing?

¿Es el conjunto de todos los programas C++ válidos infinito numerable?

Puede matemáticas obtener de otras ciencias, lo que recibió de la física?

Siempre se extraña a muchos en la expresión binaria de $10^{10^{n}}$?

¿Cómo es contable el conjunto de todos los programas?

¿Cálculo relacional sería Turing-completo si permite consultas inseguras?

Es un método de fuerza bruta considerar una prueba?

¿Cuánto significa integración simbólica a las matemáticas?

¿se aplica el "teorema de la convolución" a las estructuras algebraicas más débiles?

Es el ajedrez de Turing-completo?

Matemáticas de Torrenting

¿Cómo probar un lenguaje de programación es Turing completo?

¿Qué hacen los operadores bit a bit en 3d?

Número de maneras de dividir un rectángulo en n sub-rectángulos

Bibliotecas C++ para el cálculo estadístico

¿Qué libros recomiendas antes de Concreto de las Matemáticas'?

Satisfacción de las fórmulas booleanas generales con un máximo de dos ocurrencias por variable

Herramientas en línea para hacer matemática simbólica

Ackermann Función primitiva recursiva

¿Como muestra de una distribución normal con media conocida y varianza usando un lenguaje de programación convencional?

Densidad de detener máquinas de Turing

¿Cuál es la complejidad de la sucinta (binario) Nurikabe?

¿Cuáles son los teoremas de las matemáticas demostrado por un equipo hasta ahora?

Existe un algoritmo para decidir grande/pequeño-O consultas?

¿De cuántas maneras podemos ponemos a $N$ atacando mutuamente no caballeros en un tablero de ajedrez de $M \times M$?

Etiquetas mas usadas

i-Ciencias.com

Powered by: