Dette emnet er erstattet av IN1150 - Logiske metoder.

Semesterside for INF1080 - Høst 2012