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.