Theoretische informatica
Uit Wikipedia, de vrije encyclopedie
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.
|
Geplaatst op:
19-11-2005 |
Dit artikel is een beginnetje over informatica. U wordt uitgenodigd op bewerken te klikken om uw kennis aan dit artikel toe te voegen. |  |
