Teoretisk datavitenskap er en deling av datavitenskap som fokuserer på abstrakte, matematiske aspekter ved databehandling. Det inkluderer studiet av:

Informelt ble teoretisk datavitenskap født i 1936 da Alan Turing, Alonzo Church og Stephen Kleene formelt definerte algoritmer er når det gjelder beregning. I dag handler det tungt med kvante datamaskiner, som utfører matematiske beregninger på bølgefunksjonen i en partikkel.

Datavitenskap, programmeringsbetingelser