De '''theoretische informatica''' is een vorm van [[informatica]]'''houdtdie zich bezigbezighoudt met [[Formele taal|formele talen]] (dwz. automaten-, berekenbaarheids- und complexiteitstheorie), [[logica]] (onder andere [[propositielogica]] en [[predicatenlogica]]) en formele semantiek en biedt hiermee een theoretische fundering voor het maken van [[compiler|compilers]] van [[programmeertaal|programmeertalen]] en de [[wiskunde|wiskundige]] formalisering van probeemstellingen. Ze is daarmee het formele fundament onder de informatica.