|
| |
Theoretische informatica
Omhoog | Computertechniek | Hardware en software | Informatica | Technieken en Methoden | Theoretische informatica
Grondbegrippen
bit,
booleaanse algebra,
informatietheorie,
logica,
numerieke methoden,
onvolledigheidsstelling |
berekenbaarheid,
beslissingsprobleem,
complexiteitsgraad,
lambdacalculus,
NP-compleet,
O-notatie,
primitief-recursieve functie,
recursieve verzameling,
Church-Turing hypothese,
stelling van Rice,
Turingmachine |
Backus-Naur-formalisme,
Chomsky-hiėrarchie,
Chomsky-normaalvorm,
CYK-algoritme,
eindige toestandsautomaat,
formele grammatica,
reguliere expressie,
reguliere taal,
syntaxboom
bezettingsgraad,
birth-death-wachtlijnsysteem,
stelling van Little
|
chinese postbodeprobleem,
handelsreizigersprobleem,
Dijkstra's algoritme,
minimaal opspannende boom,
vierkleurenstelling |
| |
|
