Теоретическая информатика — это раздел математики и общей информатики, который занимается вычислениями по математическим темам, включающим теории вычислений. Теоретическая информатика охватывает широкий спектр тем, таких как сложность вычислений, алгоритмы, вероятностные вычисления, теория автоматов, криптография и вычислительная теория чисел.