Semesterside for IN1150 - Vår 2023

Faglærere

Kjære IN1150-student,

Vi håper at du hadde en god og smidig eksamensopplevelse i Silurveien i går og at eksamen gikk bra.

På siden med tidligere eksamensoppgaver ligger nå eksamen i PDF-format sammen med et foreløpig løsningsforslag. Det vil komme en mer fyldig versjon med sensorveiledning etter at sensuren er gjennomført.

- Eksamen: https://www-int.uio.no/studier/emner/matnat/ifi/IN1150/tidligere-eksamensoppgaver/eksamen_in1150_2023v_bokmaal.pdf

- Foreløpig løsningsforslag: https://www-int.uio.no/studier/emner/matnat/ifi/IN1150/tidligere-eksamensoppgaver/eksamen_in1150_2023v_bokmaal_losn_temp.pdf

Sensuren ferdigstilles i løpet av j...

13. juni 2023 12:16

Kjære IN1150-student,

Tusen takk for følget dette semesteret. Vi håper at dere har lært masse i løpet av denne våren. Det har vært vårt privilegium å være fagansvarlige for dere, og det var svært hyggelig å se mange av dere på avslutningsfesten.

Eksamen 12. juni kl. 15.00

På mandag er det eksamen! Alle bør lese det som står her på forhånd:

https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/eksamen/

Det blir en trøste- og oppklaringsrunde i Silurveien ca. kl. 16.00. Formålet med denne er å svare på faglige spørsmål om oppgaveteksten og avdekke eventuelle feil og uklarheter i oppgavene (altså ikke å få hjelp til å løse dem).

Noen tips

På avslutningsfesten ba vi alle som underviser i kurset om å komme med noen tips, både faglige og eksamensrelaterte, og her er noe av det som ble sagt....

13. juni 2023 12:15

Kjære IN1150-student.

Det er nå litt under to uker igjen til eksamen, som er mandag 12. juni kl. 15.00. Husk at trekkfristen er i dag, 30. mai, dersom du mot formodning ikke ønsker å ta eksamen.

Det er ingen flere fellestimer eller gruppetimer i kurset, men som et ekstratilbud tilbyr vi fire tidspunkter hvor du kan møte opp og få faglig hjelp av gruppelærere. Det blir ingen tavleundervisning eller repetisjon her, men du kan få spørsmål på det du lurer på.

DatoTidHvorHvem
Onsdag 31. mai12:15–14:00JavaKristin og Miriam
Torsdag 1. juni12:15–14:00Pascal (ikke Prolog)Dawid og ...
30. mai 2023 08:25

Kjære IN1150-student.

Det er nå litt under fire uker igjen til eksamen, som er mandag 12. juni kl. 15.00. (Husk at trekkfristen er 30. mai.) Det er dermed tid for repetisjon, og her kommer litt informasjon om tilbudet fremover. Vi oppfordrer alle til å være med på så mye som mulig og det man tror man vil få best utbytte av.

HvaDatoTidHvorHvem
Siste fellestime med repetisjonFredag 19. mai10:15-12:00SimulaRoger
Grafteori, formelle språk (21–23)...
16. mai 2023 11:03

Kjære IN1150-student.

I går hadde vi semesterets siste ordinære fellestime. Vi har dermed sagt det vi ønsker å si om denne vakre, lille, merkelige og abstrakte verdenen som er logiske metoder. I den neste måneden, frem til eksamen 12. juni kl. 15.00, skal vi la alt dette få synke inn.

Fellestimer

https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/timeplan/index.html#FOR

Vi har nå oppdatert timeplanen for forelesningene. Det blir repetisjonstimer de to neste fredagstimene. Vel møtt!

Discourse

https://in1150-discourse.uio.no

Selv om det i all hovedsak er ditt ansvar å sørge for å oppnå en forståelse som svarer til ditt ambisjonsnivå, hjelper vi deg gjerne på veien. Det er fremdeles mulig å sende inn spørsmål...

11. mai 2023 14:36

Kjære IN1150-student,

Vi har skjønt at noen har opplevd tekniske problemer med Devilry i dag. Det virker som at dette var et midlertidig problem og at alt fungerer som det skal igjen nå.

Vi har oversikt over hvem som har forsøkt å levere og blitt utsatt for feilen, og vil åpne for at dere kan levere i løpet av fredagen.

Ta kontakt med oss på in1150-ansvarlige@ifi.uio.no dersom det skulle være noe.

Beklager dersom det har forårsaket irritasjon, bry eller stress.

--
Med vennlig hilsen oss som underviser IN1150

27. apr. 2023 22:08

Kjære IN1150-student,

Nå er vi gjennom to av tre bolker, og dere er sikkert klare for en god påskeferie. Vi håper alle får anledning til å ta en pust i bakken før vi skal begi oss på siste bolk av kurset.

Det er ikke planlagt noe undervisningsopplegg onsdag 12. april, så neste fellestime er fredag 15. april. Da skal vi begi oss ut på kapittel 17 og 18, som handler om abstraksjon med ekvivalenser og partisjoner og kombinatorikk.

Noen etterspurte koden som ble skrevet i dag under fellestimen. Det ligger her: https://gist.github.uio.no/larstvei/57d2a9092cf06565ac3544b6b003a043.

Med det ønsker vi dere en god påske og pauseuke!

--
Med vennlig hilsen vi som underviser IN1150

31. mars 2023 16:14

Kjære IN1150-student,

Vi er nå omtrent halvveis i kurset, og vi har nå begynt på kapitlene om førsteordens logikk, som kommer til å vare i to uker.

Innleveringsoppgavene er oppdatert

https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/innleveringer/

Vi har nå oppdatert innlevering 7 og 8, og det bør nå være en god del mindre å gjøre på disse. Hvis du tidligere har gjort oppgaver som har blitt tatt ut, og som du vil ha tilbakemelding på, ta kontakt med en gruppelærer. Vi skal også forkorte innleveringsoppgavene 9–12, og når dette skjer vil det bli markert i siden for innleveringer.

Vi har også laget nye maler for innleveringsoppgavene. De ligger her: https://www.overleaf.com/read/pzqmxqwkbbtn

...
17. mars 2023 16:41

Denne beskjeden ble opprinnelig sendt på epost 2023-03-06.

Kjære IN1150-student,

Velkommen til den syvende uken i IN1150, hvor temaet for uken er tillukninger, induktivt definerte mengder og rekursivt definerte funksjoner. På fredag skal vi se hvordan en mengde definert ved induksjon gir opphav til en metode som lar oss bevise egenskaper på en enklere måte.

Bruk gruppeundervisningen

Vi er nå på et punkt i kurset hvor vi kan bruke det vi har lært fra kapittel 1–8 til å utforske mer spennende temaer. Å tenke på ting man ikke har tenkt på før gjøres ofte best i samvær med andre, og det er det gruppeundervisningen er til for. Dra på gruppetimer (gjerne flere), og delta i en faglig dialog med dine medstudenter og gruppelærerne, og utforsk denne lille abstrakte verden vi bygger i felleskap! Se her for en oversikt over gruppetimene:

...

17. mars 2023 16:40

Kjære IN1150-student,

Nå er vi ferdig med første bolk. Neste uke er tiden for å hente seg inn dersom det er temaer du ikke føler sitter så godt som det skal. På fredag om en uke introduserer vi tillukninger, induktivt definerte mengder og rekursive funksjoner.

Repetisjonsuke

Denne uken er fokuset på å bearbeide stoffet vi har gått gjennom til nå. Gruppetimene neste uke deles opp etter tema; det er en fin anledning til å gå på mange gruppetimer og tette alle eventuelle hull i forståelsen før vi går i gang med kapittel ni og ti!

...
TemaTidRomGruppelærer
BevisMandag klokken 14:15Seminarrom CAsbjørn
24. feb. 2023 18:09