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]
- formele talen en automatentheorie,
- berekenbaarheids- en complexiteitstheorie,
- algoritmen en datastructuren,
- semantiek en formele methoden,
- gelijktijdigheidstheorie (concurrency theory) en
- informatietheorie en cryptografie.
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 in 1936 de turingmachine.[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.
- SIGACT. About SIGACT, 2022.
- AM Turing. On Computable Numbers, with an Application to the Entscheidungsproblem, 1936.
voor de Proceedings van de London Mathematical Society
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
