Resultados de la búsqueda a petición "computer-science"
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 ...
¿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 ...
¿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 ...
Optimización de un algoritmo hackerrank
Me preguntaron esto sobre el rango de hacker y no he encontrado una solución que no se haya quedado sin tiempo asignado. Usé php y el tiempo asignado fue de 9 segundos ... La idea es que hay "puestos de venta de boletos" con un cierto número ...
¿Definición simple de "semántica" como se usa comúnmente en relación con lenguajes de programación / API?
Se me ocurrió hoy que, aunque he adoptado y no uso con poca frecuencia el término "semántica" cuando me refiero a elementos del lenguaje y convenciones de nombres, no tengo ningún sentido de una definición formal. Mi intento de encontrar una ...
Problemas de partición Algoritmo de fuerza bruta
Estoy tratando de hacer el pseudocódigo para el problema de partición a continuación en fuerza bruta. un conjunto de enteros X y un entero k (k> 1). Encuentre k subconjuntos de X de modo que los números en cada subconjunto sumen la misma ...
¿Cómo puedo determinar si un idioma está libre de contexto o no?
¿Cómo puedo saber si los idiomas están libres de contexto o no?
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 ...
Cuál es la definición informática de entropía?
Recientemente comencé un curso sobre compresión de datos en mi universidad. Sin embargo, considero que el uso del término "entropía", como se aplica a la informática, es bastante ambiguo. Por lo que puedo decir, se traduce aproximadamente a la ...
Si f = O (g), ¿es e ^ f = O (e ^ g)?
Sif = O(g), ese^f = O(e^g)? Estoy teniendo dificultades para resolver la pregunta anterior. Un ejemplo sería bienvenido. Además, si usa la regla de l'Hôpital, muestre cómo hace la diferenciación.