Velkommen til IN1150 våren 2021!
Velkommen igjen til IN1150 – Logiske metoder ved Institutt for informatikk, for våren 2021. Her kommer mer nyttig og praktisk informasjon. (Dette ble også sendt på e-post tidligere i dag.)
Semestersiden
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v21
Alle viktige beskjeder blir lagt ut på semestersiden, så sjekk den regelmessig. Dette er den eneste siden du trenger å sjekke for å være oppdatert om hva som skjer i kurset. Mer informasjon, spesielt om innleveringsoppgaver og gruppeundervisning, kommer snart.
Timeplan, fellestimer og gruppeundervisning
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v21/timeplan/
Det å ta IN1150 krever mye selvdisiplin og kontinuerlig arbeid, og derfor bør du allerede nå begynne å lese boken og se på de tilhørende forelesningene i nettkurset. Vi begynner med første digitale fellestime torsdag 14. januar kl. 12.15–14.00.
Zoom-lenke (UiO-brukere): https://uio.zoom.us/j/66309625427?pwd=N01vbmFZWlh4U0ZESUJxQWNTTU9EUT09
Her vil du få informasjon om kurset og vårens opplegg, og vi snakker også om kapittel 0. Vi møtes deretter digitalt hver mandag kl. 10.15–12.00 og hver torsdag kl. 12.15–14.00. Planen er å ta for oss nøyaktig to kapitler per uke og begynne med kapittel 1 (mengdelære) og kapittel 2 (utsagnslogikk) mandag. 18. januar. Gruppeundervisningen begynner også mandag 18. januar. Mer informasjon om dette kommer snart. All erfaring i dette kurset tilsier at kurset blir mer utfordrende fra og med kapittel 9, og det er derfor viktig å henge med helt fra begynnelsen av. Begynn nå!
Pensum
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v21/pensumliste/
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
https://logiskemetoder.no/nettkurs/
Vi har i løpet av mange år filmet forelesningene, og det beste av dette har funnet sin vei til nettkurset vårt, en nettside hvor du kan studere alle kapitlene gjennom korte videoforelesninger og oppgaver. I løpet av sommeren 2020 pusset vi opp nettkurset og laget mange nye oppgaver. Hvis du finner feil eller har forslag til forbedringer, send en e-post til rantonse@ifi.uio.no. Nettkurset finner du her: https://logiskemetoder.no/nettkurs/
Du bør begynne allerede nå!
Kommunikasjon: Mattermost
https://mattermost.uio.no/ifi-in1150/
Lurer du på noe, kan du spørre på Mattermost. Dette er et diskusjonsforum og en praktisk digital møteplass hvor man kan snakke med hverandre, og med kursansvarlige, i ulike kanaler og grupper, og hvor man kan stille faglige og praktiske spørsmål. Det er helt frivillig, men vi er flere som er klare til å hjelpe, og vi skal prøve å svare rimelig raskt. Vi ønsker også gjerne at du selv er med på å svare på andres spørsmål og deltar i de faglige diskusjonene. Det lærer man veldig mye av.
Kommunikasjon: E-post
Hvis du har faglige spørsmål, kan du også ta kontakt med foreleser eller gruppelærer via e-post (se kontaktinformasjon til høyre på semestersiden), men det er muligens enklere og raskere å få svar via Mattermost. For administrative spørsmål er det studieinfo@ifi.uio.no som gjelder.
Eksamen
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v21/eksamen/
Det blir en avsluttende digital hjemmeeksamen fredag 21. mai fra kl. 15.00 til 19.00. Dobbeltsjekk både tid og sted på eksamenssiden i god tid før eksamen.
tl;dr: Kom på første digitale fellestime torsdag 14. januar kl. 12.15.
Velkommen til IN1150 og vel møtt!
--
Med vennlig hilsen vi som underviser IN1150