TOD111 - Programmeringsparadigmer/prolog

5 studiepoeng

Mål

Studentene skal tilegne seg forståelse for en rekke grunnprinsipp som ligger under ulike program.merings.språk. En vil fokusere på ulike problemløysningsmetoder nedfelt i ulike paradigmer.

Innhold

Imperativ programmering, inklusiv objektorientering, er et paradigme basert på overgangar mellom tilstander i programmet.

Deklarativ programmering, på den andre side, omfatter en rekke programmeringsparadigmer der et program også har en dual tolking, ikke bare som en sekvens av instrukser til en maskin, men også som en formel med deklarativ meining uavhengig av programtilstand.

Eksekvering av et program svarer alltid til denne deklarative tolkinga - noe som fremmer og støtter utvikling og vedlikehold av korrekte program.

Imperativ paradigme (t.d. Java, C, Pascal) blir sett opp mot en rekke deklarative paradigme: 1. Logiske språk basert på førsteordens logikk (for eksempel Prolog) 2. Funksjonelle språk basert på algebra (for eksempel ML, Lisp)

Organisering og arbeidsformer

Forelesninger, obligatoriske oppgaver, praktiske programmeringsoppgaver.

Forkunnskaper

TOD063 Algoritmer og datastrukturer

Vurdering

3 timers skriftlig eksamen med bokstavkarakter.

Dersom det er mindre enn 10 oppmeldt til eksamen, kan det bli arrangert muntlig eksamen. Faglærer orienterer om eksamensform innen 1. mars / 1. oktober.

Forprøver

3 øvinger som må være bestått før eksamen kan avlegges .

Hjelpemidler ved eksamen

Ingen.

Litteratur

Kunngjøres ved semesterstart.

Emneansvarlig

Førsteamanuensis Thomas Ågotnes

Studieprogram som inneholder emnet

Database oppdatert: 24.05.2013