Teorija računanja
Teorija računanja je dio računarske nauke koja se bavi načinima na koji se efektivno mogu riješiti problemi koristeći računar. Polje je podijeljeno u dva glavna dijela: teorija računjivosti i teorija složenosti, ali oba dijela se bave formalnim modelima računanja. Da bi napravili studiju računanja, kompjuterski znanstvenici rade sa matematičkom apstrakcijom kompjutera zvanom model računanja. Postoji nekoliko formulacija koje se koriste, ali ona koja je najviše prihvaćena i koja se najviše istražuje je Turingova mašina. Kompjuterski znanstvenici je istražuju jer je jednostavna za formulisanje i može biti analizirana i korištena da opravda rezultate.