Theoretische informatica

Uit Wikipedia, de vrije encyclopedie
Dit is een oude versie van deze pagina, bewerkt door Addbot (overleg | bijdragen) op 12 mrt 2013 om 16:41. (Robot: Verplaatsing van 16 interwikilinks. Deze staan nu op Wikidata onder d:q2878974)
Deze versie kan sterk verschillen van de huidige versie van deze pagina.

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. Ze is daarmee het formele fundament onder de informatica.

Bekende theoretisch informatici zijn Alan Turing, Edsger Dijkstra en Donald Knuth.

Overgenomen van "https://nl.wikipedia.org/w/index.php?title=Theoretische_informatica&oldid=35642124"