Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Theoretische informatica
De Nederlandstalige Wikipedia - De vrije encyclopedie
Download this dictionary
Theoretische informatica
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.
Zie meer op Wikipedia.org...
© Dit artikel maakt gebruik van materiaal uit
Wikipedia
®
en valt onder de
GNU-licentie voor vrije documentatie
en onder de
licentie Creative Commons Naamsvermelding/Gelijk delen