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