PENSUM Hver uke legger jeg …

PENSUM

Hver uke legger jeg ut et par sider med oppsummering av forelesningene. Dette er pensum - eksamensoppgavene vil ta for seg ting som står der. Men for å lese, forstå og bruke disse sidene er det meningen at dere skal følge forelesninger, lese stoff i boka, lese stoff fra Roger Antonsens forelesninger, regne oppgaver i øvelsestimene og ellers jobbe med stoffet. Legg spesielt merke til at jeg bruker sekventkalkyle i logikk - i likhet med kurset i fjor. Mer stoff om det finnes i Roger Antonsens forelesninger - og ikke i boka. Fra kurset i fjor ligger det ute gamle eksamensoppgaver - noen har også løsningsforslag.