Теоретическая информатика - это раздел информатики, который фокусируется на абстрактных, математических аспектах информатики. Включает в себя изучение:

Неформально теоретическая информатика родилась в 1936 году, когда Алан Тьюринг, Алонзо Черч и Стивен Клин формально определили алгоритмы в терминах вычислений. В настоящее время он в значительной степени имеет дело с квантовыми компьютерами, которые выполняют математические вычисления для волновой функции частицы.

Информатика, Условия программирования