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, hisoblash va hisoblash murakkabligi, shuningdek hisoblash grafig nazariyasi, kriptologiya, mantiq (shu jumladan ifodalovchi mantiq va bashorat mantiqini o'z ichiga olgan), formal semantika nazariyalari bilan shug'ullanadi va dasturlash tillari kompilyatorlarini ishlab chiqish uchun nazariy asoslarni yaratadi.
Qaysi fan hisoblash grafig nazariyasi bilan shug'ullanadi?
Nazariy informatika