Velkommen til IN1150 for v?ren 2019
Velkommen til IN1150 – Logiske metoder ved Institutt for informatikk, for v?ren 2019! Her f?lger litt praktisk og nyttig informasjon om kurset du m?ter 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 gruppeundervisning, 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
Timeplanen for IN1150 er n? oppdatert. Kurset er lagt opp med selvstudium i begynnelsen. 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. F?rste ordin?re fellestime er fredag 1. februar. Etter dette m?tes vi hver tirsdag kl. 12.15–14.00 og hver fredag kl. 12.15–14.00. Hver uke er satt av til to kapitler. P? tirsdager blir det en gjennomgang av det viktigste i kapitlene, og p? fredager blir det oppgaveregning. Alle fellestimene forutsetter at du har lest pensum og kommer forberedt. 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?!
Nettkurset
Vi har i l?pet av mange ?r filmet forelesningene, og det beste av dette har n? funnet sin vei til v?rt nettkurs, 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. Nettkurset finner du her: https://logiskemetoder.no/nettkurs
Slack er et frivillig supplement for at man skal kunne kommunisere med kursansvarlige og andre studenter. Dette er en praktisk digital m?teplass hvor man kan snakke med hverandre i ulike kanaler og grupper, og hvor man kan stille faglige og praktiske sp?rsm?l. Vi vil bruke Slack hovedsakelig som et diskusjonsforum til sp?rsm?l og svar mellom studenter og kursansvarlige. Deltakelse er frivillig, og man kan v?re anonym dersom man ?nsker det. Vi er flere som er klare til ? hjelpe, og vi skal pr?ve ? svare rimelig raskt. Vi ?nsker ogs? gjerne at du som medstudent er med p? ? svare p? sp?rsm?l og delta i de faglige diskusjonene. Det l?rer man mye av. For ? komme i gang med Slack kan du registrere deg her med din UiO-e-postadresse: https://in1150v19.slack.com/ (Hvis du ?nsker ? registrere deg med en annen e-postadresse, send en e-post til rantonse@ifi.uio.no.)
Hvis du har faglige sp?rsm?l, kan du ta kontakt med foreleser eller gruppel?rer via e-post, men det er muligens enklere og raskere ? f? svar via Slack. For administrative sp?rsm?l er det studieinfo@ifi.uio.no som gjelder.