A menudo escucho frases como 'semántica de concurrencia verdadera' y 'equivalencias de concurrencia verdadera' sin ninguna referencia. ¿Qué significan esos términos y por qué son importantes? ¿Cuáles son algunos ejemplos de equivalencias verdaderas de concurrencia y cuál es la necesidad de ellas?...
Estoy haciendo una presentación sobre las máquinas Turing y quería dar algunos antecedentes sobre los FSM antes de presentar las máquinas Turing. El problema es que realmente no sé qué es MUY diferente el uno del otro. Esto es lo que sé que es diferente: FSM tiene estados secuenciales...
En un artículo reciente de CACM [1], los autores presentan una implementación para funciones por etapas . Usan el término como si fuera bien conocido, y ninguna de las referencias parece una introducción obvia. Dan una breve explicación (el énfasis es mío y el número de referencia cambió; es 22 en...
Esta pregunta se migró de Stack Overflow porque se puede responder en Computer Science Stack Exchange. Migrado hace 7 años . Estoy un poco confundido por alguna terminología que he encontrado con respecto a la complejidad de los problemas de optimización. En una clase de...
Si tengo alguna función por su complejidad, el tiempo es O ( mn ), donde m y n son los tamaños de sus dos entradas, tendría que llamar a su complejidad tiempo "lineal" (ya que es lineal en ambos m y n ) o "cuadrática" ( ya que es un producto de dos tamaños) ¿O algo mas? Siento que llamarlo...
Esas terminologías me confunden. Según entiendo Solucionador SAT: decida la satisfacción de la lógica proposicional (usando DPLL o Búsqueda local). El procedimiento de decisión es un procedimiento para decidir la satisfacción de una determinada teoría de primer orden decidible. El solucionador...
Me parece que 'implica' en el idioma inglés no significa lo mismo que el operador lógico 'implica', de manera similar a cómo la palabra 'OR' en la mayoría de los casos significa 'OR exclusivo' en nuestro uso cotidiano del idioma. Tomemos dos ejemplos: Si hoy es lunes, mañana es martes. Esto...
En la teoría de la computabilidad, las funciones computables también se denominan funciones recursivas. Al menos a primera vista, no tienen nada en común con lo que ustedes llaman "recursivo" en la programación diaria (es decir, funciones que se llaman a sí mismos). ¿Cuál es el significado real de...
He leído esas palabras en muchas publicaciones y me gustaría tener algunas definiciones agradables para esos términos que aclaren cuál es la diferencia entre la detección de objetos frente a la segmentación semántica frente a la localización. Sería bueno si pudiera dar fuentes para sus...
Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . En el script que estoy leyendo actualmente sobre el cálculo lambda, la equivalencia beta se define así: La...
Enseño computación a jóvenes de 18 años. Después de que se les explicara la notación polaca inversa, uno preguntó por qué es lo suficientemente significativo como para estar en el examen público. Le expliqué el significado histórico de las calculadoras de los años 70, pero esto no logró abordar el...
Sé lo que es la computación en un sentido vago (es lo que hacen las computadoras), pero me gustaría una definición más rigurosa. Dictionary.comLas definiciones de computación, computación, cálculo y computación son circulares, por lo que no ayuda. Wikipediadefine el cálculo como "cualquier tipo...
Estoy escribiendo un trabajo de investigación y tengo que decir básicamente que un microcontrolador es más lento que otro microprocesador. Sin embargo, me preocupa que simplemente decir que es "más lento" no sea apropiado en un trabajo de investigación. Estoy en lo cierto? ¿Está bien decir que un...
Sigo encontrando referencias a puntos fijos en preguntas y respuestas en stackexchange y busco el significado en la web, obviamente, encuentro referencias en sitios como Wikipedia. Sin embargo, ninguna de las referencias realmente responde a mi pregunta de qué es un punto fijo y qué significa en el...
Estoy tratando de descubrir quién acuñó el término "aprendizaje automático". Una pregunta complementaria es de dónde se cita a Arthur Samuel como definidor del campo del "aprendizaje automático" en 1959 como: El campo de estudio que brinda a las computadoras la capacidad de aprender sin ser...
Estaba leyendo sobre programación dinámica cuando me encontré con la siguiente cita Un algoritmo de programación dinámica examinará todas las formas posibles de resolver el problema y elegirá la mejor solución. Por lo tanto, podemos pensar aproximadamente en la programación dinámica como un...
Empecé a leer más y más trabajos de investigación lingüística. Me parece muy interesante y una buena manera de aprender más sobre la programación en general. Sin embargo, generalmente viene una sección en la que siempre lucho (tome, por ejemplo, la tercera parte de esto ) ya que no tengo los...
Estoy familiarizado con una docena de lenguajes de programación que tienen excepciones de alguna manera, sin embargo, llegué a ser testigo de dos tendencias "patológicas". No parece haber un patrón común o jerarquía de excepciones. Básicamente, cada idioma presenta su propia versión, y si las...
En mi curso de Algoritmos y Estructuras de Datos , profesores, diapositivas y el libro ( Introducción a los Algoritmos, 3ra edición ) han estado usando la palabra NILpara denotar, por ejemplo, un hijo de un nodo (en un árbol) que no existe. Una vez, durante una conferencia, en lugar de decir NIL ,...
Creo que sé lo que es un sistema operativo en tiempo real "duro". Es un sistema operativo con un planificador que proporciona un contrato con el programador de la aplicación. Una aplicación proporciona una fecha límite con cada solicitud de asignación de recursos. Si las solicitudes de la fecha...