Dette emnet er erstattet av IN1150 – Logiske metoder.

Semesterside for INF1080 - Høst 2012