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

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