Velkommen til INF1080 – Logiske metoder for informatikk!
Hei, og velkommen til INF1080 – Logiske metoder for informatikk.
Pensumboken Logiske metoder: kunsten å tenke abstrakt og matematisk skal være tilgjengelig i Akademikas bokhandel Blindern, men kan også kjøpes på nett via Universitetsforlaget eller Akademika.
Første forelesning er onsdag 19. august kl. 10.15 i auditoriet Simula i Ole-Johan Dahls hus. Velkommen!
Publisert 10. aug. 2015 20:14
- Sist endret 10. aug. 2015 20:15