Velkommen til IN1150 for v?ren 2020
Velkommen til IN1150 – Logiske metoder ved Institutt for informatikk, for v?ren 2020! 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. 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 onsdag 22. januar. Etter dette m?tes vi hver onsdag kl. 14.15–16.00 og hver fredag kl. 10.15–12.00. Hver uke er satt av til to kapitler. P? onsdager 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
Hvis du har faglige sp?rsm?l, kan du ta kontakt med foreleser eller gruppel?rere via e-post, men det er muligens enklere og raskere ? f? svar via et diskusjonsforum (informasjon om dette kommer senere). For administrative sp?rsm?l er det studieinfo@ifi.uio.no som gjelder.
Velkommen til IN1150 – Logiske metoder!