Teoreetiline informaatika

Teoreetiline informaatika on informaatika haru, mis tegeleb abstraktsemate ja matemaatilisemate küsimustega, nagu näiteks algoritmide analüüs ja programmeerimiskeelte semantika.