Nazariy informatikaning ulkan tadqiqot sohasi algorithmlarning klassik nazariyasi va hisoblashning abstraktroq mantiqiy va matematik jihatlari bilan bog'liq bo'lgan mavzularning keng qamrovini o'z ichiga oladi. Nazariy informatika formal tillar, avtomatlar, algoritmlar, hisoblash va hisoblash murakkabligi, shuningdek, hisoblash grafalar nazariyasi, kriptologiya, mantiq (shu jumladan, ifodalovchi mantiq va predikatlar mantiqini), formal semantika nazariyasi bilan shug'ullanadi va dasturlash tillari kompilyatorlarini ishlab chiqish uchun nazariy asoslarni o'rnatadi.
Nazariy informatika sohasi nimani o'z ichiga oladi?
algorithmlarning klassik nazariyasi