Velkommen til IN1150 for v?ren 2022!
Velkommen til IN1150 – Logiske metoder ved Institutt for informatikk for v?ren 2022. Her kommer det snart mer informasjon. Dersom du er ut?lmodig og har lyst til begynne allerede n?, les videre!
Semestersiden
Alle viktige beskjeder blir lagt ut p? denne siden, s? sjekk den regelmessig. Dette er strengt tatt den eneste siden du trenger ? sjekke for ? v?re oppdatert om hva som skjer i kurset. Informasjon om innleveringsoppgaver, aktiviteter og undervisning kommer her.
Pensum
Pensum i kurset er l?reboken ?Logiske metoder: kunsten ? tenke abstrakt og matematisk? (Universitetsforlaget, 2014). I tillegg anbefales ?Studiebok til Logiske metoder? (Universitetsforlaget, 2017).
Nettkurset
Vi har i l?pet av mange ?r filmet forelesningene, og det beste av dette har n? funnet sin vei til nettkurset v?rt, en nettside hvor du kan studere alle kapitlene gjennom korte videoforelesninger og oppgaver. (Hvis du finner feil eller har forslag til forbedringer, send en e-post til rantonse@ifi.uio.no.)
Velkommen til IN1150 – Logiske metoder!