Semantikk I

Emnet gir en innføring i formal semantikk, f.eks. mengdelære, setningslogikk, og predikatlogikk, og viser hvordan naturlige språks semantikk kan studeres i lys av slike systemer.

Målet er at studentene får et overblikk over begrepsapparater og grunnleggende metoder innenfor semantisk teori.

Forelesninger og gruppeundervisning.
Nærmere om vurderingsordningen: Obligatoriske øvinger må være godkjent før kandidaten får gå opp til skriftlig eksamen. Øvingene skal være på 4-6 A4-sider hver. I særskilte tilfeller kan hjemmeeksamen innvilges etter søknad.