La informática teórica es un área amplia y fundamental de la informática. Es la base de la informática. Dicho esto, también es bastante amplio y encapsula varios subcampos que comúnmente se agrupan en dos campos: Teoría A [Algoritmo y Complejidad] y Teoría B [Modelos formales y semántica], por lo que parafrasearé un blog que hace un buen trabajo desglosándolo: teoría A y teoría B.
- La teoría A cubre modelos de computación, algoritmos, teoría de la complejidad, estructura de datos y computación eficiente.
- La teoría B tiende a cubrir los sistemas de autodiagnóstico y reescritura, los fundamentos de los lenguajes de programación, las lógicas para la especificación del programa y la verificación y el modelado del procesamiento avanzado de la información.
Tiendo a preferir ser específico sobre qué área de TCS se refiere específicamente. Ahora la Teoría A y la Teoría B tienden a dividirse en varios subcampos, de ninguna manera el artículo de Wikipedia es una lista completa, pero también se recomienda: Informática teórica – Wikipedia (la tabla en esa sección es bastante precisa para las “áreas principales” , aunque no es perfecto; algunos pueden incluir la computación natural si se incluye la computación cuántica).
Investigamos los aspectos matemáticos de la computación. Normalmente nuestro trabajo es teórico, por lo que nuestro trabajo requiere rigor matemático. La computación se describe naturalmente matemáticamente, lo que sirve como una columna vertebral fundamental para la informática. Por lo tanto, tiene sentido estudiar la computación de esta manera.
- ¿Qué es parte del conocimiento central, tanto en un sentido práctico como teórico, que todo informático debería haber escuchado al menos o tener una comprensión básica de él?
- Cómo ser un experto en Linux, resolviendo eficientemente problemas comunes para un programador o un investigador en informática
- ¿Dónde nos llevará la investigación genómica impulsada por la informática en 5 años?
- ¿Cuáles son los pasos para hacer captura de movimiento?
- ¿Qué área de investigación debo elegir? Tengo opciones entre "Semántica de lenguajes de programación" y "Algoritmos y criptografía" de investigación para mi tesis de maestría, y estoy extremadamente confundido en las circunstancias.
Por lo general, los teóricos trabajan en pruebas matemáticas, a veces escriben programas, pero fundamentalmente el objetivo es mejorar nuestra comprensión de la naturaleza de la computación a través del diseño de nuevos algoritmos, el desarrollo de mejores modelos y probar nuevos teoremas que coloquen los problemas que estudiamos dentro del mayor complejidad computacional del panorama.