Beskjed til studenter som skal følge Gruppe 1: Det er sannsynlig at den ene gruppetimen (Tirsdag kl. 12:15 -13:00) vil bli flyttet. Dette vil bli diskutert på første gruppetime.
Velkommen til kurssidene for INF1800 -- Logikk og beregnbarhet -- for høsten 2008! Her vil man kunne finne oppdatert informasjon om kurset og undervisningen.