Dette emnet er erstattet av IN3070 – Logikk.