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!
Publisert 31. juli 2014 20:37
- Sist endret 31. juli 2014 20:40