Теоретична информатика: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Koki81 (беседа | приноси)
мРедакция без резюме
SOMNIVM (беседа | приноси)
Редакция без резюме
Ред 1:
Теоретичната [[информатика]] се занимава с [[формални езици]], теория на автоматите, [[логика]], разработка и анализ на [[алгоритъм|алгоритми]], формална семантика и дава основите за [[компилатор|компилатори]] и математическото формализиране на проблеми. Тя е формалният „гръбнак“ на [[информатика|информатиката]].
 
Формални системи, автомати, графи и синтактични диаграми се използват за точно описание на вътрешната логика на формални проблеми. Обикновено тази формална стъпка е основна част от решението на същинския проблем.