Теоретична информатика
 | За информацията в тази статия или раздел не са посочени източници. Въпросната информация може да е непълна, неточна или изцяло невярна. Имайте предвид, че това може да стане причина за изтриването на цялата статия или раздел. |  |
Теоретичната информатика се занимава с формални езици, теория на автоматите, логика, разработка и анализ на алгоритми, дизайн и формална семантика на езиците за програмиране, дава основите за компилатори и математическото формализиране на проблеми. Тя е формалният „гръбнак“ на информатиката.
Формални системи, автомати, графи, теория на вероятностите, инференциална статистика и синтактични диаграми се използват за точно описание на вътрешната логика на формални проблеми. Обикновено тази формална стъпка е основна част от решението на същинския проблем.
Тази статия, свързана с математика, все още е мъниче. Помогнете на Уикипедия, като я редактирате и разширите.