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...
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...
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...
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...
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...
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...
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...
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 binario para representar uno solo de los...
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....
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...