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
https://www.uio.no/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
https://www.uio.no/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
https://www.uio.no/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
https://www.uio.no/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): https://www.uio.no/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