Preguntas etiquetadas con mathematical-foundations

Me he dado cuenta de que me resulta mucho más fácil escribir pruebas matemáticas sin cometer errores, que escribir un programa de computadora sin errores. Parece que esto es algo más extendido que solo mi experiencia. La mayoría de las personas cometen errores de software todo el tiempo en su …

190 correctness-proof  mathematical-foundations  philosophy 

Podría haber una disculpa por hacer otra pregunta sobre los requisitos previos, pero estaba confundido acerca de los puntos de partida. Me he encontrado con varios términos como "Lógica modal", "Lógica temporal", "Lógica de primer orden", "Lógica de segundo orden" y "Lógica de orden superior". ¿Qué significa exactamente "Lógica" en …

36 logic  mathematical-foundations 

Entiendo que la "estructura" de los datos depende totalmente del álgebra booleana, pero: ¿Por qué se considera que los datos son una entidad matemática discreta en lugar de una entidad continua? Relacionado con esto: ¿Cuáles son los inconvenientes, o invariantes, que se violan al estructurar los datos como una entidad …

35 data-structures  mathematical-foundations 

Esta es una pregunta ingenua y, por lo tanto, posiblemente malformada, ¡disculpas de antemano! Mi opinión es que una máquina de Turing puede verse como la base computacional para los lenguajes de programación de procedimientos / imperativos. Del mismo modo, el cálculo lambda es la base de los lenguajes de …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Soy un estudiante universitario de Ciencias de la Computación que tiene una gran pasión por estudiar Matemáticas. Creo firmemente que la informática o la informática teórica es una rama directa de las matemáticas y la lógica y también creo que un título en informática siempre debe estar orientado a las …

15 mathematical-foundations 

He estado leyendo Álgebra lineal y sus aplicaciones para ayudar a comprender el material informático (principalmente el aprendizaje automático), pero me preocupa que mucha de la información no sea útil para CS. Por ejemplo, saber cómo resolver eficientemente sistemas de ecuaciones lineales no parece muy útil a menos que esté …

15 education  linear-algebra  didactics  mathematical-foundations 

Dada una cadena de valores A A A A A A A A B CUNUNUNUNUNUNUNUNsiCAAAAAAAABC , la entropía de Shannon en la base de registro 222 llega a 0.9220.9220.922 . Por lo que entiendo, en la base 222 la entropía de Shannon redondeada es el número mínimo de bits en …

14 information-theory  mathematical-foundations  entropy  binary 

Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 2 años . En general, los programadores de computadoras que son matemáticos o …

14 mathematical-foundations 

Esta pregunta es sobre si cada teorema matemático puede reducirse a la pregunta de si una sola máquina de Turing se detiene. En particular, estoy interesado en conjeturas que actualmente no están probadas. Por ejemplo: Wikipedia dice que actualmente se desconoce si hay números perfectos impares. Como es decidible si …

11 formal-languages  computability  mathematical-foundations 

Actualmente estoy leyendo algunos documentos sobre el agrupamiento de la cadena de Markov y no puedo ver la diferencia entre una cadena de Markov y un gráfico ponderado dirigido simple. Por ejemplo, en el artículo Optimización óptima del espacio de estado en las cadenas de Markov , proporcionan la siguiente …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains