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
/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
/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
/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
/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