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