Computer Science and Math

Las siguientes no son definiciones formales sino ideas/nociones generales dadas en lenguaje coloquial o lenguaje no técnico o para poder entender mejor lo que estaré publicando 😊  Se estará actualizando con cada post nuevo. Algoritmo Conjunto ordenado, finito de pasos bien definidos, no ambiguos. Los algoritmos pueden tener datos de entrada y estos datos pueden ser transformados en datos de salida. Un algoritmo es cualquier programa escrito en cualquier lenguaje de programación. Computable Decimos que algo es computable si existe al menos una máquina de Turing que puede realizar esta tarea. Notemos  que esta propiedad es algo fuerte, ya que dado que todas las computadoras existentes hasta ahora trabajan bajo este modelo, si algo es computable significa que puede ser realizado en cualquier computadora existente. Demostración (Dentro de las Matemáticas) Argumento correcto para asentar la veracidad de un enunciado. Dentro del sistema formal de las matemáticas, se pueden hacer a...

Sean algunos algoritmos Árbol generador de peso mínimo Regresiones Cadena común más larga Page Rank Runge-Kutta Recorrido de un grafo por profundidad (DFS) Y los algoritmos fueron... Sabemos que los algoritmos existen y que la implementación de algunos es sencilla de encontrar en internet. Intuitivamente sabemos que podemos pensar en un algoritmo y con suficiente abstracción podemos implementarlo en algún lenguaje de programación. Un día quizá después de programar suficiente (o no) nacen las preguntas ¿qué algoritmo no puedo programar? ¿existe siquiera alguno que no pueda programar? Tengo este algoritmo ¿es posible programarlo? Dentro de la computación teórica existe el concepto de computabilidad, éste se encarga de estudiar lo anterior. Máquina de Turing (MT) Es una propuesta de Alan Turing hecha en 1936 en su artículo "On computable numbers, with an application to the Entscheidungsproblem", es un modelo teórico de computación en el cual están basadas todas las computadora...