За информацията в тази статия или раздел не са посочени източници . Въпросната информация може да е непълна, неточна или изцяло невярна. Имайте предвид, че това може да стане причина за изтриването на цялата статия или раздел.

Теоретичната информатика се занимава с формални езици , теория на автоматите, логика , разработка и анализ на алгоритми , дизайн и формална семантика на езиците за програмиране, дава основите за компилатори и математическото формализиране на проблеми. Тя е формалният ?гръбнак“ на информатиката .

Формални системи, автомати, графи, теория на вероятностите, инференциална статистика и синтактични диаграми се използват за точно описание на вътрешната логика на формални проблеми. Обикновено тази формална стъпка е основна част от решението на същинския проблем.

Тази статия, свързана с математика , все още е мъниче . Помогнете на Уикипедия, като я редактирате и разширите.