Теориялық информатиканың үлкен зерттеу өрісі классикалық алгоритмдер теориясын, сондай-ақ есептеудің абстрактілі логикалық және математикалық аспектілеріне байланысты тақырыптардың кең спектрін қамтиды. Теориялық информатика формалдық тілдер, автоматтар, алгоритмдер теорияларымен, есептеу және есептеу күрделілігі, сондай-ақ есептеулік граф теориясымен, криптологиямен, логикамен (сөз логикасы мен предикаттар логикасын қоса алғанда), формалдық семантикамен айналысады және бағдарламалау тілдерінің компиляторларын әзірлеу үшін теориялық негіздерді салады.
Теориялық информатика немен айналысады?
формалдық тілдер, автоматтар, алгоритмдер теорияларымен