Universitetet i Oslo · Informatikk

IN1150 — Logiske metoder

Vi bygger IN1150 nå. Det tar 2 til 5 dager. Legg igjen e-posten din, så får du beskjed med én gang emnet er klart, og du starter med 7 dager gratis.

Nyttige lenker

Emnesiden på uio.no

Emnebeskrivelse og eksamensform

Pensum og litteratur

Leseliste og timeplan for semesteret

Karakterer på Karakterweb

Karakterfordeling og strykprosent