Datalogisk modellering er et
teknologisk linjefag/retningsspecifik fag på mellemniveau, der er
forudsætning for de efterfølgende specialiseringskurser.
Kurset introducerer er række fundamentale datalogiske
begrebsdannelser, herunder abstrakte modeller af de diskrete
processer, der foregår i en computer under udførelsen af et program.
Det vises, hvordan man ved analyse af disse modeller kan forudsige
programmers opførsel og verificere, at de virker korrekt.
Kurset består af forelæsninger, øvelser og skriftlig eksamen.
Kurset er på 10 point og bør tages på 4. semester.
Studiehåndbog: 02141 Datalogisk Modellering
