Ciencias de la Computación

De Wikipedia: en informática teórica, la corrección de un algoritmo se afirma cuando se dice que el algoritmo es correcto con respecto a una especificación. Pero el problema es que obtener la especificación "apropiada" no es una tarea trivial, y no existe un método 100% correcto (hasta donde yo sé) …

17 formal-methods  software-verification  program-correctness 

Por ejemplo, cuando consideramos un DFA que permite que las cadenas no tengan subcadenas 00o que 11yo pueda producir los siguientes dos DFA:

17 automata  finite-automata 

Hay muchos (y quiero decir muchos) idiomas contables que son decidibles por Turing. ¿Puede cualquier lenguaje incontable ser Turing decidible?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Leí en alguna parte que el algoritmo más eficiente encontró puede calcular los factores en tiempo, pero el código que he escrito es O ( n ) o posiblemente O ( n log n ) dependiendo de qué tan rápida sea la división y el módulo. Estoy bastante seguro de …

17 complexity-theory  time-complexity  factoring  primes 

De mis lecturas sobre los sistemas operativos (leyendo el material básico en Wikipedia, sitios tecnológicos, etc.) aprendí que el sistema operativo es un programa que permite que los programas y aplicaciones interactúen con el hardware de una manera eficiente y segura. Sin embargo, estoy confundido acerca de cómo el sistema …

17 operating-systems 

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 …

17 algorithms  terminology  data-structures  notation 

Te doy una lista de nnn vectores de bits de ancho kkk . Su objetivo es devolver dos vectores de bits de la lista que no tienen 1 en común, o bien informar que no existe dicho par. Por ejemplo, si le doy [00110,01100,11000][00110,01100,11000][00110, 01100, 11000] entonces la única solución …

17 algorithms  search-algorithms 

De acuerdo con Wikipedia , La operación de prueba y configuración puede resolver el problema de consenso sin esperas para no más de dos procesos concurrentes. ¿Por qué no puede resolver el problema durante más de dos procesos?

17 concurrency  consensus 

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 límite …

17 terminology  operating-systems  process-scheduling  real-time 

¿Alguien ha escrito alguna vez un sistema (software o explicación detallada en papel con ejemplos simples) que genere programas de computadora? Ingreso y crea un programa que enumera los números primos menores que 10. P r i m e ( x ) se define simplemente como 1 < x ∧ …

17 logic  type-theory  coq  proof-assistants 

¿Existe una máquina de Turing que se detiene en todas las entradas pero esa propiedad no es demostrable por alguna razón? Me pregunto si esta pregunta ha sido estudiada. Tenga en cuenta que "no demostrable" podría significar un sistema de prueba "limitado" (que en el sentido débil piensa que la …

17 computability  reference-request  turing-machines  halting-problem 

Estoy leyendo el libro de HoTT y tengo dificultades con la inducción del camino. Cuando miro el tipo en la sección 1.12.1 : Indiana=UN: ∏C: ∏x , y: A( x =UNy) → U( ( ∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} C(x,y,p) \right), no tengo problemas para entender lo que eso …

17 induction  dependent-types  homotopy-type-theory 

¿Existe alguna técnica general para demostrar que un problema NO es NP-Complete? Recibí esta pregunta en el examen que me pidió que mostrara si algún problema (ver más abajo) es NP-Complete. No se me ocurrió ninguna solución real, y solo probé que estaba en P. Obviamente, esta no es una …

17 complexity-theory  np-complete  proof-techniques 

He estudiado el libro "C ++ desmitificado" . Ahora he comenzado a leer "Programación orientada a objetos en Turbo C ++ primera edición (1ª edición)" de Robert Lafore. No tengo ningún conocimiento de programación que esté más allá de estos libros. Este libro puede estar desactualizado porque tiene 20 años. …

17 programming-languages  object-oriented  programming-paradigms 

Pensé que la matriz asociativa (es decir, el mapa o el diccionario) y la tabla hash eran el mismo concepto, hasta que vi en Wikipedia que Para los diccionarios con un número muy pequeño de enlaces, puede tener sentido implementar el diccionario utilizando una lista de asociación, una lista vinculada …

17 data-structures  abstract-data-types