ilse.nleigenwijs zoeken

De '''theoretische informatica''' is een vorm van informatica die zich bezighoudt met formele talen (dat wil zeggen 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 probleemstellingen.