Teoreetiline arvutiteadus on infotehnoloogia jagunemine, mis keskendub arvuti abstraktsetele matemaatilistele aspektidele. See hõlmab järgmist:

Mitteametlikult on teoreetiline arvutiteadus sündinud 1936. aastal, kui Alan Turing, Alonzo kirik ja Stephen Kleene, olid ametlikult määratletud algoritmid. Tänapäeval tegeleb see oluliselt kvantarvutitega, mis teostavad osakeste lainefunktsioonil matemaatilisi arvutusi.

Arvutiteadus, programmeerimise tingimused