Ciencias de la Computación

Por ejemplo, si la computadora ha 10111100almacenado en un byte particular de RAM, ¿cómo sabe la computadora interpretar este byte como un entero, un carácter ASCII u otra cosa? ¿Los datos de tipo se almacenan en un byte adyacente? (No creo que este sea el caso, ya que resultaría en …

31 memory-hardware  memory-access  type-checking 

Alan Turing propuso un modelo para una máquina (Turing Machine, TM) que computa (números, funciones, etc.) y demostró el Teorema de detención . Un TM es un concepto abstracto de una máquina (o motor si lo desea). El teorema de detención es un resultado imposible. Un Carnot Engine (CE) es …

31 turing-machines  halting-problem  entropy 

Me asignaron un ejercicio en mi universidad. Me lo llevé a casa e intenté programar un algoritmo para resolverlo, supongo que era algo relacionado con gráficos, encontrar componentes conectados. Luego hice lo más trivial que se me ocurrió y luego se lo mostré a mi profesor. Después de una breve …

30 algorithms  algorithm-analysis  education  applied-theory 

Hay muchas definiciones en línea sobre lo que es una gramática libre de contexto, pero nada de lo que encuentro satisface mi problema principal: ¿De qué contexto está libre? Para investigar, busqué en Google "gramática sensible al contexto" pero todavía no pude encontrar de qué se trataba el "contexto". ¿Alguien …

30 terminology  context-free  formal-grammars 

Estoy tratando de explicar los conceptos básicos de Bitcoin a mis padres. Uno de los componentes principales de bitcoin es firmar transacciones para asegurarse de que su identidad no se pueda suplantar y, por lo tanto, la necesidad de explicar un cifrado asimétrico simplificado. ¿Qué es un cifrado asimétrico extremadamente …

30 cryptography 

Estaba leyendo CLRS y se dice: Si factorizar enteros grandes es fácil, entonces romper el criptosistema RSA es fácil. Lo que tiene sentido para mí porque con el conocimiento de pagspp y qqq , es fácil crear la clave secreta que el conocimiento de la clave pública. Sin embargo, explica …

30 cryptography 

FRP se trata de transmitir eventos y comportamientos a través de funciones puras. El modelo de actor, al menos, tal como se implementa en Akka, se trata de transmitir mensajes inmutables (que pueden considerarse eventos discretos) a través de objetos potencialmente impuros, llamados actores. Así que en la superficie parecen …

30 distributed-systems  functional-programming  programming-paradigms 

Básicamente conozco tres fundamentos para las matemáticas. Teoría de conjuntos Teoría de tipo Teoría de la categoría Entonces, ¿de qué manera están relacionados los lenguajes de programación y los fundamentos de las matemáticas? EDITAR La pregunta original era "Lenguajes de programación basados ​​en fundamentos matemáticos" con el paragarph agregado de …

30 programming-languages  history  type-theory  category-theory 

Intuitivamente, los "árboles equilibrados" deben ser árboles donde los subárboles izquierdo y derecho en cada nodo deben tener "aproximadamente el mismo" número de nodos. Por supuesto, cuando hablamos de que los árboles rojo-negros * (ver definición al final) están equilibrados, en realidad queremos decir que están equilibrados en altura y, …

30 data-structures  binary-trees  search-trees 

Entiendo que si existen 2 o más árboles de derivación izquierda o derecha, entonces la gramática es ambigua, pero no puedo entender por qué es tan malo que todos quieran deshacerse de ella.

30 compilers  ambiguity 

Al implementar un diccionario ('Quiero buscar datos de clientes por sus ID de cliente'), las estructuras de datos típicas utilizadas son tablas hash y árboles de búsqueda binarios. Sé, por ejemplo, que la biblioteca C ++ STL implementa diccionarios (los llaman mapas) usando árboles de búsqueda binarios (equilibrados), y .NET …

30 algorithms  data-structures  binary-trees  hash-tables 

El teorema de Rice nos dice que las únicas propiedades semánticas de las máquinas de Turing (es decir, las propiedades de la función calculada por la máquina) que podemos decidir son las dos propiedades triviales (es decir, siempre verdaderas y siempre falsas). Pero hay otras propiedades de las máquinas de …

30 computability  undecidability 

Estaba pasando por la discusión sobre la pregunta ¿Cómo definir las máquinas cuánticas de Turing? y siento que la TM cuántica y la TM no determinista son lo mismo. Las respuestas a la otra pregunta no tocan eso. ¿Son estos dos modelos uno y el mismo? Si no, ¿Cuáles son …

30 computability  turing-machines  quantum-computing  nondeterminism 

Es un hecho conocido que cada fórmula LTL puede expresarse mediante un autómata Büchi . Pero, aparentemente, los autómatas de Büchi son un modelo más potente y expresivo. He escuchado en alguna parte que los autómatas de Büchi son equivalentes a un cálculo μ de tiempo lineal (es decir, un …

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

¿Cuál es una buena metáfora o ejemplo para explicar a un estudiante de inglés la diferencia entre la informática clásica y "ser bueno usando MS-Windows"? Ciencias de la Computación programación de computadoras usando computadoras 3 cosas profundamente diferentes. La mayoría de la gente no tiene idea de qué es la …

30 terminology  education