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!