miniatyr| En konstnärlig avbildning av en Turing-maskin. Turingmaskiner används för att modellera generella beräkningsenheter. Teoretisk datavetenskap eller teoretisk datalogi är en delmängd av allmän datavetenskap och matematik som fokuserar på mer matematiska ämnen för datoranvändning och inkluderar beräkningsteorin.
Det är svårt att beskriva de teoretiska områdena exakt. ACM:s särskilda intressegrupp för algoritmer och beräkningsteori (SIGACT) ger följande beskrivning:
Referenser
Kategori:Teoretisk datalogi Kategori:Sidor med ogranskade översättningar