Velkommen til IN1150 – Logiske metoder v?ren 2023!
Kj?re IN1150-student,
Velkommen til IN1150 – Logiske metoder ved Institutt for informatikk for v?ren 2023. Her kommer en del n?dvendig informasjon om kurset du tar dette semesteret. Denne beskjeden inneholder mye viktig, nyttig og praktisk informasjon, s? les den n?ye.
Semestersiden
/studier/emner/matnat/ifi/IN1150/v23/
Alle viktige beskjeder blir lagt ut p? semestersiden, s? sjekk den regelmessig. Dette er strengt tatt den eneste siden du trenger ? sjekke for ? v?re oppdatert om hva som skjer i kurset.
Timeplan, fellestimer og gruppeundervisning
/studier/emner/matnat/ifi/IN1150/v23/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 fellestime onsdag 25. januar kl. 14.15–16.00, etterfulgt av fredag 27. januar kl. 10.15–12.00. Etter dette m?tes vi hver onsdag kl. 14.15–16.00 og hver fredag kl. 10.15–12.00.
- Fellestimene p? fredager kommer til ? best? av en kort introduksjon til to nye kapitler i boken. Disse kapitlene utgj?r temaet for hele neste uke (frem til neste fellestimen). Vi forutsetter ikke at du kommer forberedt til disse timene, men det er allikevel en stor fordel om du gj?r det.
- Fellestimene p? onsdager kommer til ? best? av oppgaveregning, sp?rsm?l, svar, tips og mye annet.
- I l?pet av den f?rste uken dekker vi kapittel 0 (introduksjon), kapittel 1 (mengdel?re) og kapittel 2 (utsagnslogikk).
- Vi kommer ikke til ? gj?re opptak av fellestimer dette semesteret.
- Gruppeundervisningen begynner uken etter, fra og med mandag 30. januar. Flere detaljer om timeplanen kommer etter hvert.
- 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
Pensum i kurset er l?reboken ?Logiske metoder: kunsten ? tenke abstrakt og matematisk? (Universitetsforlaget, 2014). Denne finnes ogs? p? engelsk som ?Logical Methods? (Springer, 2021). I tillegg anbefales ?Studiebok til Logiske metoder? (Universitetsforlaget, 2017). Alle utgavene av boken kan brukes, men tidligere versjoner inneholder sm?feil som har blitt rettet opp. Lister med kjente feil og mangler for alle utgaver finnes p? https://logiskemetoder.no/#retteliste.
Innleveringsoppgaver
/studier/emner/matnat/ifi/IN1150/v23/innleveringer/
For ? ta eksamen i IN1150 m? du levere og f? godkjent en viss mengde innleveringsoppgaver. Informasjon om dette finner du n? p? siden med innleveringsoppgaver. Det blir tolv uker med innleveringsoppgaver, og disse er gruppert i tre like store bolker. Du kan selv velge hvilke og hvor mange oppgaver du leverer, men kravet for ? g? opp til eksamen er 32 poeng (av 64 mulige) per bolk. Se lenken over for detaljert informasjon. F?rste innleveringsfrist (for bonusoppgaven) er onsdag 1. februar kl. 23.59, og f?rste ordin?re innleveringsfrist (for kapittel 1 og 2) er torsdag 2. februar kl. 23.59.
Nettkurset
https://logiskemetoder.no/nettkurs/
Vi har i l?pet av mange ?r filmet forelesningene, og det beste av dette har n? funnet sin vei til nettkurset, 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.
Eksamen
/studier/emner/matnat/ifi/IN1150/v23/eksamen/
Det blir en avsluttende skriftlig eksamen i Silurveien mandag 12. juni fra kl. 15.00 til 18.00. Dobbeltsjekk at tiden stemmer p? eksamenssiden i god tid f?r eksamen.
Dersom du lurer p? noe!
- Discourse: https://in1150-discourse.uio.no/
- FAQ (ofte stilte sp?rsm?l): /studier/emner/matnat/ifi/IN1150/v23/faq/
- Epost: in1150-ansvarlige@ifi.uio.no
- Administrasjonen: studieinfo@ifi.uio.no
Dersom du lurer p? noe, sjekk f?rst siden med ofte stilte sp?rsm?l. Dersom du har faglige sp?rsm?l anbefaler vi at du kommer i fellestimene og gruppetimene og sp?r der. Du kan kan ogs? bruke Discourse. Dette er et diskusjonsforum og en praktisk digitale m?teplass hvor man kan kommunisere med hverandre og med kursansvarlige, og hvor man kan stille faglige sp?rsm?l. Det er helt frivillig ? bruke disse, 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. For alle ikke-faglige og administrative sp?rsm?l er det studieinfo@ifi.uio.no som gjelder.
Velkommen til IN1150 – Logiske metoder!
–
Med vennlig hilsen oss som underviser IN1150