Hodet skal fylles med induksjon og rekursjon!
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:
/studier/emner/matnat/ifi/IN1150/v23/gruppeundervisning/
Innleveringsoppgaver
Innlevering fem og seks er n? oppdatert og forenklet. Dette gj?r at du vil f? litt st?rre frihet i hvordan du disponerer tiden din; bruk den godt! Vi h?per dette gir rom for ? jobbe mer med andre oppgaver!
Dersom du allerede har eksamensrett, ser du sannsynligvis ikke lenger innleveringene i Devilry. Dersom du vil levere, og f? tilbakemelding, ta kontakt med oss p? in1150-ansvarlige@ifi.uio.no.
Ha en god uke, og vel m?tt til fellestime p? onsdag!
--
Med vennlig hilsen oss som underviser IN1150