Theoretische informatica: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Wijzigingen door 95.97.44.210 (Overleg) hersteld tot de laatste versie door EmausBot |
+voorbeelden (uit de categorie w:en:Theoretical computer scientists). Geen Beginnetje volgens criteria |
||
Regel 1:
De '''theoretische informatica''' is een vorm van [[informatica]] die zich bezighoudt met [[Formele taal|formele talen]] (dat wil zeggen automaten-, berekenbaarheids- en complexiteitstheorie), [[logica (wetenschap)|logica]] (onder andere [[propositielogica]] en [[predicatenlogica]]) en [[formele semantiek]] en biedt hiermee een theoretische fundering voor het maken van [[compiler|compilers]] van [[programmeertaal|programmeertalen]] en de [[wiskunde|wiskundige]] formalisering van probleemstellingen. Ze is daarmee het formele fundament onder de informatica.
Bekende theoretisch informatici zijn [[Alan Turing]], [[Edsger Dijkstra]] en [[Donald Knuth]].
[[Categorie:Theoretische informatica| ]]
| |||