Velkommen til INF1080 – Logiske metoder for informatikk!

Hei, og velkommen til INF1080 – Logiske metoder for informatikk.

Pensumboken Logiske metoder: kunsten å tenke abstrakt og matematisk er nå tilgjengelig i Akademikas bokhandel Blindern, men kan også kjøpes på nett via Universitetsforlaget eller Akademika.

Og snart braker det løs: Første forelesning er allerede tirsdag 19. august kl. 12.15 i auditoriet Simula i Ole-Johan Dahls hus. Velkommen!