| |||
теоретические компьютерные науки (подмножество компьютерных наук, состоящее из наук, фокусирующихся на более формальных и математических аспектах вычислений ssn) | |||
| |||
теория вычислительных систем | |||
теория вычислительных машин и систем; теоретические основы вычислительной техники | |||
теоретическая кибернетика (ssn); теоретическая информатика (ssn) |