Semesterside for IN1150 - V?r 2023

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...

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:

/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....

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?.

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.

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

/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...

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

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

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

/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¨C12, 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

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¨C8 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:

...

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!