Estoy mirando el cálculo de construcciones y su lugar en el Cubo Lambda . Si entiendo correctamente, se puede pensar que cada eje del cubo agrega otra operación que involucra tipos al cálculo de tipo simple, . El primer eje agrega operadores de tipo a término, los segundos operadores de tipo a...
¿Existe alguna definición formal sobre la altura promedio de un árbol binario? Tengo una pregunta tutorial sobre cómo encontrar la altura promedio de un árbol binario usando los siguientes dos métodos: La solución natural podría ser tomar la longitud promedio de todos los caminos posibles desde...
Hice una pregunta (semilla) sobre sumas de términos de Landau antes , tratando de evaluar los peligros del abuso de la notación asintótica en aritmética, con un éxito mixto. Ahora, aquí nuestro gurú de la recurrencia JeffE hace esencialmente esto: ∑i = 1norteΘ ( 1yo) =Θ(...
¿Aceptar significa que el TM leerá y reconocerá un carácter de la celda de la que está leyendo actualmente? ¿Y es el caso de que una TM se detenga si la entrada es
Leí en Wikipedia que la unificación es un proceso para resolver el problema de la satisfacción. Al mismo tiempo, sé que tales solucionadores se llaman "solucionadores SAT" o "solucionadores SMT". Entonces, ¿son nombres diferentes para la misma cosa? Si dice que son diferentes, señale una falla en...
No sé la terminología correcta para hacer esta pregunta, así que la describiré con muchas palabras, tengan paciencia conmigo. Antecedentes , solo para estar en la misma página: los programas a menudo contienen cachés, una compensación de tiempo / memoria. El error de un programador común es...
Hay una variedad vertiginosa de símbolos que a veces se utilizan en documentos de matemáticas y CS. Sin embargo, muchos suponen una familiaridad básica que parece raramente enseñada en un solo lugar. Estoy buscando un diccionario similar al siguiente, especialmente desde una perspectiva...
Desde el punto de vista del comportamiento asintótico, ¿qué se considera un algoritmo "eficiente"? ¿Cuál es el estándar / razón para dibujar la línea en ese punto? Personalmente, pensaría que cualquier cosa que sea ingenuamente llamaría "subpolinomio", de modo que como sería eficiente y cualquier...
Me resulta difícil diferenciar claramente entre multiprogramación y multitarea. Mi fuente principal ha sido Wikipedia , pero el artículo de WP parece estar un poco en desacuerdo con algunas fuentes menos confiables (como mi profesor universitario). Mientras leo WP, la multiprogramación es una...
¿Qué notación se usa para discutir los coeficientes de las funciones en notación big-O? Tengo dos funciones: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Obviamente, ambas funciones son , de hecho , pero eso no permite una comparación más allá de...
Para funciones o cálculos tenemos términos como: Determinista - determinismo Puro - Pureza Ahora, ¿cuál es el nombre correspondiente correcto para sin efectos secundarios ? ¿"Libre de efectos secundarios"? ¿"Libertad de efectos secundarios"? ¿"No tiene efectos
Aproximadamente, un gráfico no dirigido es muy similar a un gráfico dirigido donde para cada borde (v, w), siempre hay un borde (w, v). Eso sugiere que podría ser aceptable ver gráficos no dirigidos como un subconjunto de gráficos dirigidos (tal vez con una restricción adicional de que agregar /...
Se le da una matriz de longitud . Cada elemento de la matriz pertenece a una de las clasesSe supone que debe reorganizar la matriz utilizando un número mínimo de operaciones de intercambio para que todos los elementos de la misma clase estén siempre agrupados, es decir, que formen una submatriz...
Según Peter Selinger , The Lambda Calculus is Algebraic (PDF). Al principio de este artículo dice: Se sabe que la interpretación combinatoria del cálculo lambda es imperfecta porque no satisface la regla : según la interpretación, M = N no implica \ lambda xM = \ lambda xN (Barendregt,...
Estaba investigando programación dinámica y leí lo siguiente: A menudo, cuando se utiliza un método más ingenuo, muchos de los subproblemas se generan y resuelven muchas veces. ¿Qué es un método
Mientras leía un artículo que describía las diferencias en OO y la programación funcional, me encontré con punteros de función. Ha pasado un tiempo desde que completé mi licenciatura en Ciencias de la Computación (2003), así que busqué punteros para refrescar mi memoria. Los punteros son variables...
En el problema de la suma de subconjuntos, ¿pueden ser iguales algunos de los números dados ? Por ejemplo, podríamos tener y el objetivo es ? ¿Puedo suponer que tengo una solución específica con los números y y y
He leído muchos documentos sobre convolución en el procesamiento de imágenes, y la mayoría de ellos dicen acerca de su fórmula, algunos parámetros adicionales. Nadie explica la intuición y el significado real detrás de hacer convolución en una imagen. Por ejemplo, la intuición de derivación en el...
En el Capítulo 1 de Fundamentos prácticos para lenguajes de programación , el autor menciona que los árboles de sintaxis abstractos están asociados con géneros . Intuitivamente, los tipos son como los tipos, pero me gustaría saber si tienen una definición precisa. Me alegraría si también se...
He estado leyendo algunos documentos de teoría del lenguaje formal y me he encontrado con un término que no entiendo. El documento a menudo se referirá a un conjunto que está "efectivamente cerrado bajo intersección" u otras operaciones. ¿Qué significa "efectivamente" aquí? ¿Cómo difiere esto del...