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