Resultados de la búsqueda a petición "computer-science"
Convertir EBNF a BNF
Han pasado algunos años desde mi clase de lenguaje informático, por lo que he olvidado los puntos más delicados de BNF y EBNF y no tengo un libro de texto a mi lado. Específicamente, he olvidado cómo convertir un EBNF en BNF. Por lo poco que ...
división y multiplicación por potencia de 2
Leí en un artículo que la división y multiplicación de un número por una potencia de 2 es un proceso trivial. He buscado en internet mucha explicación pero no la entiendo. ¿Alguien puede explicar con palabras sencillas qué significa esto ...
¿Cómo comenzar con la realidad aumentada? [cerrado]
Actualmente soy estudiante de ciencias de la computación y entraré en mi último año el año que viene. La realidad aumentada es algo que considero un tema realmente interesante, pero no tengo idea de dónde comenzar a aprender sobre él. ¿Dónde ...
complemento de dos, por qué el nombre "dos"
Sé sin signo, complemento de dos, complemento de uno y magnitud de signo, y la diferencia entre estos, pero lo que me interesa es: por qué se llama complemento de dos (o unos), entonces, ¿hay un complemento de N más generalizado?¿De qué manera ...
¿Cómo funciona la suma en las computadoras?
Estaba viendo un video sobre arquitectura de computadoras y se me ocurrió una pregunta. ¿Cómo funcionan las operaciones básicas y de suma en las computadoras? Quiero decir, sé que 2 + 2 = 4 pero no sé por qué. Solo sé que si agrego 2 manzanas a ...
¿Por qué necesitamos una arquitectura de CPU diferente para servidor y mini / mainframe y núcleo mixto? [cerrado]
Me preguntaba qué otras arquitecturas de CPU están disponibles además de INTEL y AMD. Entonces, encontradoLista de arquitecturas de CPU [http://en.wikipedia.org/wiki/List_of_CPU_architectures]en Wikipedia Clasifica arquitecturas de CPU notables ...
¿Se permiten claves duplicadas en la definición de árboles de búsqueda binarios?
Estoy tratando de encontrar la definición de un árbol de búsqueda binario y sigo encontrando diferentes definiciones en todas partes. Algunos dicen que para cualquier subárbol dado, la clave secundaria izquierda es menor o igual que la ...
Cómo ejecutar Athena | Coq | ¿Isabelle codifica remotamente?
He estado creando un IDE web (WIDE) para probar teoremas en informática. Puede saber que hay 3 asistentes de pruebas más comunes que nombran a Athena, Isabelle y Coq. La mayoría de los informáticos pueden olvidar su sintaxis, ámbitos, etc. Mi IDE ...
¿Cuál es la diferencia entre igualdad y equivalencia?
He leído algunas instancias de lectura en matemática e informática que usan el símbolo de equivalencia≡, (básicamente un '=' con tres líneas) y siempre tiene sentido para mí leer esto como si fuera igualdad. ¿Cuál es la diferencia entre estos dos ...
¿Es posible evaluar los términos de cálculo lambda de manera eficiente?
He estado escribiendo muchos programas en el cálculo lambda recientemente y desearía poder ejecutar algunos de ellos en tiempo real. Sin embargo, aunque el paradigma funcional de tendencia se basa en el cálculo lambda y la regla de ...