Theoretische informatica
De theoretische informatica is een vorm van informatica die zich bezighoudt met formele talen (dwz. automaten-, berekenbaarheids- en complexiteitstheorie), logica (onder andere propositielogica en predicatenlogica) en formele semantiek en biedt hiermee een theoretische fundering voor het maken van compilers van programmeertalen en de wiskundige formalisering van probeemstellingen. Ze is daarmee het formele fundament onder de informatica.