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...

Sí, se demostró con cardinalidades entre conjuntos. Hoy voy a hablar de algo que me dejó consternada por un rato. Un día estaba leyendo la demostración, pensé que quizá si hubiera estado con mis compañeros también  hubieran sentido algo al enterarse del resultado... Luego recordé que quizá pensarían en cómo la demostración empoderaría a la clase trabajadora y yo aquí con tonterías pseudotrascendentales. (Facultad de Ciencias, Socialist Icon 💖)  En fin, empecemos.   Problemas de decisión Dentro de la Teoría de la Computación un problema de decisión es aquel donde la salida del algoritmo sólo es Sí o No, 0 o 1, True o False, o algún equivalente Por ejemplo, decidir si una gráfica es conexa o no, es un problema de decisión Supongamos que fuera posible pasar cada una de todas las infinitas gráficas posibles como input al algoritmo. Luego de eso podríamos ver a las infinitas gráficas separadas en dos conjuntos. Definiremos a L como el conjunto que contiene a todos los elemen...