computer-science

12El calor

3Respuesta

¿Por qué los diccionarios .Net cambian el tamaño de los números primos?

De acuerdo con this question, un diccionario .Net cambia el tamaño de su espacio asignado a los números primos que son al menos dos veces el tamaño actual. ¿Por qué es importante usar números primos y

.net algorithm data-structures computer-science primes 2011-01-09

---

14El calor

6Respuesta

¿Cómo son las matrices y los hash los mapas de tiempo constante en su acceso?

Específicamente: dado un hash (o un índice de matriz), ¿cómo llega la máquina a los datos en tiempo constante? Me parece que incluso pasar por todas las otras ubicaciones de memoria (o lo que sea) tom

arrays algorithm data-structures hash computer-science 2011-01-13

---

39El calor

3Respuesta

Porque son las dos poco- y big-endian en uso?

¿Por qué ambos pequeños y grandes endian todavía están en uso hoy, después de ~ 40 años de informática binaria? ¿Hay algoritmos o formatos de almacenamiento que funcionan mejor con uno y mucho peor co

computer-science endianness 2011-01-20

---

18El calor

13Respuesta

Programación desde cero

Lo que me gustaría saber es comenzar a programar desde cero sin ningún sistema operativo ni nada parecido. Como sé Windows y Mac y casi cualquier cosa, incluso el DOS está escrito en C, C++ Pascal, et

c++ c computer-science 2010-12-03

---

10El calor

1Respuesta

Introducción de Forall en coq?

Estoy intentando (clásico) demostrar ~ (forall t : U, phi) -> exists t: U, ~phi en Coq. Lo que estoy tratando de hacer es demostrarlo contrapositively: 1. Assume there is no such t (so ~(exists t: U

computer-science formal-methods coq 2010-12-11

---

23El calor

6Respuesta

¿Cuáles son las diferencias entre un programa y una aplicación?

¿Cuáles son las diferencias entre un programa y una aplicación? Estoy tratando de entender esto para formar un concepto en ontología. ¿Alguien puede explicar?

computer-science terminology 2010-12-13

---

5El calor

2Respuesta

forall dentro de la definición de función recursiva

Estoy tratando de utilizar la función de definir una definición recursiva utilizando una medida, y estoy consiguiendo el error: Error: find_call_occs : Prod Estoy poniendo todo el código fuente en e

computer-science formal-methods coq 2010-12-13

---

24El calor

3Respuesta

¿Qué es un transductor de estado finito?

¿Puede alguien decirme qué es un transductor de estado finito? He leído the Wikipedia article y no entiendo nada.

computer-science terminology finite-automata transducer 2011-02-02

---

11El calor

2Respuesta

¿Cómo determinar si un idioma es recursivo o recursivo enumerable?

Tengo que determinar si un idioma (por ejemplo L = {a^nb^mc^s | 0 < = n < = m < = s}) es regular, sin contexto, recursivo, recursivamente enumerable o ninguno de ellos . Sé cómo determinar si un idiom

recursion computer-science context-free-grammar turing-machines 2011-02-16

---

6El calor

4Respuesta

¿Tiene sentido asignar una estructura de datos de gráficos a una base de datos relacional?

Específicamente un Multigraph. Un colega sugirió esto y estoy completamente desconcertado. ¿Tiene alguna idea sobre esto?

database computer-science graph-theory 2010-12-30

---