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