Theoretische informatica

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen

De theoretische informatica is het vakgebied binnen de informatica dat de logische en wiskundige grondslagen van de informatica bestudeert. De nadruk ligt op wiskundige formaliseringen en bewijzen.

Onderwerpen die binnen de theoretische informatica worden bestudeerd, zijn onder andere:[1]

Er werd al over computers en hun mogelijkheden nagedacht voordat zij in de praktijk werden gebruikt. Computers werden daarbij als abstracte machines weergegeven. Alan Turing bedacht de turingmachine in 1936.[2] De informatietheorie[3] kon in de praktijk eerder worden toegepast dan dat er computers waren, omdat er eerder met elektronische middelen informatie kon worden verzonden.

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