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

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