La informática teórica es un campo científico, cuyo objeto es la información y los procesos de información , en el que se lleva a cabo la invención y creación de nuevos medios de trabajo con la información. Es una rama de la informática y las matemáticas generales que se centra en los aspectos más abstractos o matemáticos de la informática e incluye la teoría de los algoritmos .
Como cualquier ciencia fundamental , la informática teórica (en estrecha interacción con la filosofía y la cibernética ) se dedica a la creación de un sistema de conceptos, la identificación de patrones generales que hacen posible describir la información y los procesos de información que ocurren en varios campos (en la naturaleza, la sociedad, el cuerpo humano, los sistemas técnicos).
No es fácil describir con precisión el alcance de esta teoría. ACM SIGACT ( Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory ), un subgrupo de ACM, describe la ciencia como un apoyo para la informática teórica y señala:
El campo de la informática teórica se interpreta de manera amplia e incluye algoritmos , estructuras de datos, teoría de la complejidad computacional, computación distribuida , computación paralela , VLSI (circuito integrado a muy gran escala), aprendizaje automático , biología computacional, geometría computacional, teoría de la información, criptografía, cuántica informática, teoría de números, álgebra y teoría de la computación (computación simbólica), semántica y verificación de lenguajes de programación, teoría de autómatas y teoría de procesos aleatorios. El trabajo en este campo a menudo se caracteriza por un énfasis en la técnica matemática y el rigor.
A esta lista, la revista científica ACM Transactions on Computation Theory (TOCT) también agrega la teoría de la codificación, la teoría del aprendizaje computacional y aspectos de la informática teórica en áreas como bases de datos, recuperación de información, modelos económicos y redes. A pesar de un campo de actividad tan amplio, los teóricos de la informática se distinguen de los prácticos. Algunos se describen a sí mismos como "el trabajo científico más fundamental que subyace en el campo de la informática". Otros "teóricos prácticos" insisten en que es imposible separar la teoría de la práctica. Esto significa que los teóricos utilizan regularmente la ciencia experimental que se lleva a cabo en áreas menos teóricas, como el estudio de los sistemas de software.