| Type: | initiativkursus, udbydes under åben uddannelse
Sprog: engelsk |
|
|
|
|
|
|
|
|
Faglige forudsætninger: 49142
|
|
|
|
Vejledende placering: Midt i studiet.
|
|
Undervisningsform: Forelæsninger, grupperegning.
|
|
Evalueringsform Obligatoriske opgaver og skriftlig eksamen Aflevering af obligatoriske opgaver og 2-timers skriftlig eksamen. Bedømmes som en helhed, hvori den skriftlige prøve indgår med en mindre, men dog betydende vægt.
|
|
Karakter: 13-skala
|
|
|
|
|
|
|
|
Kursets netadresse: http://www.it.dtu.dk/c49409
|
|
Institut: Institut for Informationsteknologi
|
|
Studieudvalg: MIFSU
|
|
Kursusmål: At give de studerende et indblik i forskellige modeller for programmer, datamaskiner og deres styrke. Samt at give de studerende en forståelse for principielle grænser for hvilke problemer, der kan løses ved brug af datamaskiner. Igennem kurset vil de studerende opnå en forståelse for grundlæggende begreber der udnyttes i anvendelsesprogrammer og værktøjer til f.eks. hardware verifikation, oversættere og bevisførere.
|
Kursusindhold: Automatbaserede modeller af datamaskiner, såsom endelige tilstandsmaskiner, stakmaskiner og Turingsmaskiner. Karakterisering af de forskellige modellers styrke ved formelle sprog, der beskrives ved regulære udtryk og grammatikker.
For de forskellige datamaskinmodeller vil det blive belyst hvilke typer opgaver, der ikke kan løses af den pågældende datamaskine.
|
