startside  
   Emne og studieprogram  Tenester  StudentWeb  Studentliv  Utveksling  IKT  Om UiB  

Til UiB
Til Mi Side
Nyheter
English
Stikkordsøk:
Finn student:
Finn tilsett:

webmail.uib.no

Har du kommentarar
til denne sida?

INF220 / Programspesifikasjon

 Timeplan (kalender)

 Pensum

Studiepoeng: 10.0

Fagleg innhald

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.


Til UiB
© 2006 Universitetet i Bergen - Adresse: Postboks 7800, N-5020 Bergen
Tlf.: 55 58 00 00, Faks: 55 58 96 43
Ansvarleg redaktør: Utdanningsavdelinga
Utforming: Formidlingsavdelinga
login