Kurset gir ei innføring i
algebraiske metodar for spesifikasjon av programvare. Det vert lagt
vekt på bruk av abstraksjon i spesifikasjon og utvikling av
programvare.
Læringsmål
Studentane skal kunne gi algebraiske spesifikasjonar av datatypar og modular.
Tilrådde forkunnskapar
Byggjer på INF121
Fagleg overlapp
I220: 10stp
Undervisningssemester
Haust
Undervisningsspråk
Norsk. Engelsk ved behov.
Vurdering / eksamensformer
5 timer
skriftleg eksamen. Det er høve til å gi karakter på obligatoriske
oppgåver som kan inngå i sluttkarakteren. Dersom det er færre enn 20
deltakarar kan det bli muntleg eksamen.