El término “teórico” se usa aquí a pesar de que CS es una ciencia matemática porque se centra en los aspectos matemáticos de la computación que son fundamentales para el campo (en contraste con los aplicados). Esto se usa a menudo en contraste con la informática “aplicada” o “práctica”, que se centra en la aplicación de principios en áreas centrales de CS que se basan en la informática teórica muchas veces. Es importante comprender que la informática teórica es increíblemente amplia y las matemáticas utilizadas entre los teóricos pueden diferir de manera espectacular. Por ejemplo, tome un teórico que estudie la teoría de la computabilidad versus un teórico que estudie algoritmos. Traerán matemáticas bastante diferentes a la mesa en cómo realizan su trabajo (todo matemático, por supuesto; teoremas de prueba), todo ello respaldado por sus actividades matemáticas y la teoría de la computación.
La informática teórica a veces se considera un subcampo de las matemáticas discretas, pero es la base del campo de la informática. Es en lo que construimos todos nuestros modelos de computación, y nos permite estudiar cosas como los algoritmos de una manera completamente natural. Por ejemplo, sin escribir un solo programa, puedo garantizar que un algoritmo sea correcto para un número infinito de entradas, o que un problema tenga cierta estructura para que pueda emplear una determinada técnica que pueda ser efectiva. Los programas de computadora no son capaces de verificar cualquier problema con un número infinito de entradas, por lo que un enfoque formal es claramente más vital si queremos asegurarnos de que un algoritmo sea correcto o que un modelo tenga ciertas propiedades, etc.
- ¿Dónde puedo encontrar documentos seminales sobre GPGPU?
- ¿Hay nuevos temas en informática que me den una idea para el proyecto de graduación?
- ¿Cuáles son los avances importantes en el aprendizaje automático en la última década?
- ¿Se ha saturado el alcance de la investigación para sistemas operativos y desarrollo de kernel?
- Cómo acceder a trabajos de investigación en informática