Universitetet i Oslo · Informatikk

IN1150 — Logiske metoder

Vi bygger IN1150 for deg, og det er klart innen 24 timer. Legg igjen e-posten din, så får du beskjed med én gang emnet er klart, og du får gratis full tilgang ut semesteret.

Nyttige lenker

Emnesiden på uio.no

Emnebeskrivelse og eksamensform

Pensum og litteratur

Leseliste og timeplan for semesteret

Karakterer på Karakterweb

Karakterfordeling og strykprosent