Las matemáticas discretas fueron el precursor de la informática y todo, desde la forma en que los bits expresan construcciones lógicas hasta construcciones en bucle y algoritmos utilizados en nuestro código, hasta los arreglos de píxeles que ve en su pantalla y mucho más, todo se basa en matemáticas discretas.
Un buen ejemplo de su uso práctico es Bitcoin. Si lees el documento original de Satoshi Nakamoto sobre Bitcoin, verás que anota la lógica usando la sintaxis que encontrarás en los libros de texto de matemáticas discretas y describe los problemas que resuelve y demuestra pruebas usando matemáticas discretas. La criptografía en sí misma es un concepto en matemática discreta y todos los algoritmos de criptografía utilizan conceptos matemáticos discretos como la factorización de números primos para proporcionar sistemas seguros utilizando cosas llamadas claves públicas y privadas que garantizan la seguridad de la información que se transmite.
El concepto de una prueba es clave en matemáticas discretas. ¿Cómo podemos saber si nuestro caso base para algo es cierto que todas las demás entradas a una función o algoritmo producirán el resultado correcto? Las matemáticas discretas cubren estos tipos de pruebas utilizando conceptos como el razonamiento inductivo y, a veces, hacer un programa, modelo o algoritmo sólido requiere el uso de esta mentalidad matemática respaldada por una prueba.
- ¿Cuál es el 'borde' en la computación de borde?
- ¿Cuáles son los trabajos académicos clásicos en finanzas computacionales / comercio algorítmico?
- ¿Cuáles son actualmente los temas de investigación más importantes en Multiprocesamiento?
- ¿Cuáles son las áreas de investigación en informática?
- ¿Es común que un estudiante graduado descubra un nuevo teorema?
Descargo de responsabilidad: no soy un experto en matemáticas discretas, pero hago mucha programación, así que veo los resultados de las matemáticas discretas en mi trabajo todo el tiempo.
