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.