La lógica es parte de las matemáticas. Pero suponiendo que se refiere a “aplicaciones de las matemáticas además de la lógica”.
En un nivel muy básico, el estudio de algoritmos toma mucho de las matemáticas, más allá de la lógica simple. La complejidad computacional es un tipo específico de límite. Por lo tanto, las herramientas que utilizamos para estudiar la complejidad teórica son similares a las que encontraría en el estudio matemático de los límites. Del mismo modo, las pruebas de corrección algorítmica a menudo reflejan de cerca las pruebas matemáticas.
Muchos algoritmos específicos son esencialmente soluciones matemáticas. La teoría de gráficos es increíblemente común en los algoritmos de CS (¡y está garantizado que formará parte de muchas entrevistas de trabajo para programadores!). Sin embargo, era un campo de las matemáticas mucho antes de que se conocieran sus aplicaciones específicas a los algoritmos informáticos. Muchas estrategias centrales utilizadas en la teoría de grafos fueron originalmente solo parte de la teoría matemática, antes de que las personas se dieran cuenta de que representaban soluciones prácticas a problemas informáticos importantes.
- ¿Cuál es el significado físico de [matemáticas] 1 + 2 + 3 + 4 + \ ldots = - \ frac1 {12}? [/ Matemáticas]
- ¿Cuánto de un área en acres y a qué profundidad es 940 x 10 a la potencia de 6 pies cúbicos?
- En Econometría, si los vectores x1 y x2 tienen una explicación sobre el vector y pero los vectores x1 y x2 están correlacionados, ¿cómo puedo atribuir la causalidad a x1 o x2?
- ¿Cómo enunciarías y probarías el teorema de Carnot?
- ¿Cómo puedo obtener una intuición sobre números complejos?
La lista continua. El estudio de algoritmos es realmente solo teoría matemática aplicada. Resulta especialmente importante porque los algoritmos básicos son una parte muy importante del proceso de entrevistas de muchas empresas. Ahora, la necesidad práctica real de todo esto en el trabajo diario de un ingeniero de software es menos clara y depende mucho de lo que estás haciendo exactamente. He hablado con muchas personas que dicen que casi nunca usan estos algoritmos clásicos, y mucho menos una prueba de complejidad o una prueba de corrección. Otros programadores describen lo importante que es comprender realmente los algoritmos, en lugar de solo tomar prestados los ya programados, probados, probados y entendidos.
La teoría de la informática está profundamente ligada a las matemáticas, y no solo a la lógica. El uso promedio del programador de matemáticas teóricas varía enormemente, desde el uso de rutina hasta casi nunca.