Velkommen til IN1150 som nettkurs for h?sten 2020
Velkommen til IN1150 – Logiske metoder ved Institutt for informatikk, som nettkurs for h?sten 2020! Her kommer det snart mer informasjon om kurset du tar dette semesteret.
Semestersiden
Alle viktige beskjeder og blir lagt ut p? denne siden, s? sjekk den regelmessig. Dette er den eneste siden du trenger ? sjekke for ? v?re oppdatert om hva som skjer i kurset. Mer informasjon, om innleveringsoppgaver og undervisningstilbud, kommer snart.
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). Se pensumsiden for mer informasjon.
Timeplan og progresjon
Det ? ta IN1150 som nettkurs krever mye selvdisiplin og kontinuerlig arbeid, og derfor b?r du s? fort som mulig begynne ? lese boken og bruke nettkurset. Det er ingen ordin?re forelesninger eller fellestimer, men vi kommer til ? ha et l?pende tilbud hvor du kan stille sp?rsm?l, diskutere faget og f? tilbakemelding p? oppgaver. All erfaring i dette kurset tilsier at kurset blir mer utfordrende fra og med kapittel 9, og det er derfor viktig at du begynner tidlig og jobber jevnt.
Innleveringsoppgaver
For ? ta eksamen i IN1150 m? du levere og f? godkjent en viss mengde innleveringsoppgaver. Detaljert informasjon om dette kommer snart.
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. 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
Hvis du er ut?lmodig kan du begynne allerede n?!
Kommunikasjon: Mattermost
https://mattermost.uio.no/ifi-in1150/
Lurer du p? noe, kan du sp?rre p? Mattermost. Mattermost 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 ta kontakt med foreleser eller retter via e-post, men det er muligens enklere og raskere ? f? svar via Mattermost. For administrative sp?rsm?l er det studieinfo@ifi.uio.no som gjelder.
Velkommen til IN1150 – Logiske metoder!