Vurderingsordning

Vurderingsordning: Mappevurdering
Karakter: Bokstavkarakterer

Vurderingsform	Vekting	Varighet	Hjelpemidler	Avvikende karakter
Skriftlig eksamen	70/100	4	C
Arbeider	30/100

Faglig innhold

Introduksjon til språkparadigmer, semantikk og beregningsmodeller.
Språkmodeller som støtter deklarativ, funksjonell, logisk, lat, dataflytorientert, distribuert, paralell programmering.
Programmeringsspråks syntaks, analyse, oversetting, tolking og semantikk.
Sammenlikning av egenskaper i språk mht. trygghet, typing, analyserbarhet, kjøretidssystem, semantikk, anvendelsesområde og modularisering.

Læringsmål

Emnet skal gi: (1) Forståelse for grunntrekkene i imperative, logiske, funksjonelle og objektorienterte programmeringsspråk. (2) Praktisk kjennskap til teknikker for å implementere språk og metoder for å beskrive deres mening. (3) Programmeringserfaring i forskjellige representative språk. (4) Evne til å forstå og sammenlikne eksisterende og kommende språk.

Læringsformer og aktiviteter

Forelesninger, programmeringslaboratorium, prosjekter, teoretiske øvinger, semesterprøve(r). Mappevurdering gir grunnlag for sluttkarakter i emnet. I mappen inngår skriftlig avsluttende eksamen (70%) og semesterprøve(r) (30%). Resultatene for delene angis i %-poeng, mens sensur for hele mappen (sluttkarakteren) angis med bokstavkarakter. Semesterprøven teller bare i positiv retning. I tilfelle semesterprøven gir dårligere resultat enn avsluttende eksamen, vil sluttkarakteren settes på grunnlag av skriftlig eksamen alene (100 %). Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.

Obligatoriske aktiviteter

• Øvinger

Spesielle vilkår

Vurderingsmelding krever godkjent undervisningsmelding samme semester eller godkjent obligatorisk aktivitet tidligere semester.

Anbefalte forkunnskaper

Emnene TMA4140 Diskret matematikk, TDT4100 Objektorientert programmering og TDT4120 Algoritmer og datastrukturer, eller tilsvarende kunnskaper.

Forkunnskapskrav

Ingen

Kursmateriell

Sannsynligvis van Roy & Haridi: Concepts, Techniques, and Models of Computer Programming, MIT Press, 2004, 900pp+xxix. Supplerende notater. Prosjektbeskrivelser og øvinger. Endelig beslutning om lærebok vil bli tatt i god tid før semesterstart.

Studiepoengreduksjon

Emnekode	Reduksjon	Fra	Til
SIF8028	7.5

Kontaktinformasjon: timeplan@adm.ntnu.no

Vurderingsordning: Mappevurdering

Termin	Vurderingsform	Vekting	Hjelpemidler	Dato	Tid	Rom *
Høst	Skriftlig eksamen	70/100	C	19.12.2012	09:00	Storhall del 1 , DI41 , Datasal Vegas , SB2 - 215
Høst	Arbeider	30/100

* Eksamen plasseres på rom 3 dager før eksamen.
Hvis mer enn ett rom er oppgitt, finner du ditt rom på Studentweb.