Resultados de la búsqueda a petición "computer-science"
flotador max representado en IEEE 754
Me pregunto si el flotador máximo representado en IEEE 754 es:
Razón para terminar alrededor de llevar a hacer [cerrado]
Sé que el complemento de r-1 para el número r-base debería hacer el final alrededor del acarreo si el bit más alto tiene acarreo.Pero no puedo entender por q...
ID3 y C4.5: ¿Cómo se normaliza la “Relación de ganancia” “Ganancia”?
El algoritmo ID3 utiliza la medida de "ganancia de información".El C4.5 utiliza la medida de "Relación de ganancia" que es la ganancia de...
Cómo arreglar este algoritmo de raíz cuadrada de punto flotante
Estoy tratando de calcular la raíz cuadrada de punto flotante de 32 bits IEEE-754 de varias entradas, pero para una entrada en particular el algoritmo a cont...
Disminución en un algoritmo
Si la definición de una disminución por una estrategia es:"Una estrategia en la que el tamaño del problema a resolver disminuye constantemente en un ele...
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 ...
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 ...
Inicialización vs asignación
Los términos "inicialización" y "asignación" parecen usarse indistintamente. Hice un poco de búsqueda y parece que técnicamente podría haber una diferencia. Tengo entendido que, en el contexto de las variables, una variable se inicializa cuando ...
¿Cómo puede uno simular transductores finitos no deterministas?
Un autómata no determinista se puede simular fácilmente en una cadena de entrada con solo realizar un seguimiento de los estados en los que se encuentra el a...
¿Qué algoritmos utilizan los compiladores de C ++ populares para std :: sort y std :: stable_sort?
¿Qué algoritmos utilizan los compiladores de C ++ populares para std :: sort y std :: stable_sort? Sé que el estándar solo da ciertos requisitos de rendimien...