Programmeringsspråk

Introduksjon til språkparadigmer, semantikk og beregningsmodeller. Språkmodeller som støtter deklarativ, funksjonell, logisk, lat, dataflytorientert, distribuert, beskrankningsbasert og parallell programmering. Programmeringsspråks syntaks, tolking og semantikk.

Emnet skal gi:

(1) Forståelse for mening, form og bruk av imperative, logiske, funksjonelle og objektorienterte programmeringsspråk.

(2) Praktisk kjennskap til teknikker for å implementere språk og metoder for å beskrive deres mening.

(3) Evne til å forstå og sammenlikne eksisterende og kommende språk.

Forelesninger, programmeringslaboratorium, og individuelle øvinger.