Induksjonsbevis, undervisningstilbud og veien videre
Denne uken er temaet bevis ved matematisk og strukturell induksjon. Bra saker. Det er s?nn omtrent n? at kurset for mange begynner ? bli mer utfordrende, og det er derfor viktig ? passe p? at du henger med. Her er en oversikt over noen av tilbudene du har til r?dighet. (Det er naturligvis ikke slik at b?r benytte deg av alle disse. Du b?r velge hva som passer best for deg.)
Gruppeundervisningen
/studier/emner/matnat/ifi/IN1150/v20/gruppeundervisning/
Gruppetimene er kanskje det viktigste stedet hvor du kan l?re deg pensum. Her kan du komme og f? en repetisjon av pensum, f? hjelp til ? l?se oppgaver og m?te andre studenter. Det er ogs? fritt frem ? g? p? andre grupper enn de man har blitt tildelt. P? lenken over finner du en oversikt over gruppene og hva som skjer i de ulike gruppetimene.
Snublegrupper
/studier/emner/matnat/ifi/IN1150/v20/snublegrupper/
Dette er et tilbud til deg som f?ler at du henger litt etter i de mest grunnleggende temaene. P? fredag kl. 12.15 i Logo kan du f? en repetisjon og oppfriskning av bevismetoder fra kapittel 5. (Senere tar vi for oss andre temaer, og p? lenken over finner du et skjema hvor du selv kan komme med forslag.)
Grublegrupper
/studier/emner/matnat/ifi/IN1150/v20/grublegrupper/
Dette er et tilbud til deg som f?lger at du henger godt med og som ?nsker noe utover, men som er relatert til, pensum. P? onsdag kl. 16.15 i Caml snakker vi litt om rekursive funksjoner i forskjellige programmeringsspr?k. (Senere tar vi for oss andre temaer, og p? lenken over finner du et skjema hvor du selv kan komme med forslag.)
YouTube-kanalen
https://www.youtube.com/c/Logiskemetoder
Husk at p? YouTube-kanalen finner du tidligere forelesninger, fellestimer og oppgaveregning, i tillegg til utvalgte deler av denne v?rens fellestimer.
Fellestimene
/studier/emner/matnat/ifi/IN1150/v20/
Vi fortsetter p? onsdag kl. 14.15 med ? gj?re flere eksempler p? bevis med matematisk og strukturell induksjon. Kom gjerne med forslag til temaer p? forh?nd. P? fredag kl. 10.15 begynner vi sakte, men sikkert, med f?rsteordens logikk, som er en ny bolk med fire kapitler som henger n?ye sammen.
IN1150-café p? fredager
Det har v?rt noks? f? som har m?tt opp p? fredager, s? vi vurderer ? bytte til torsdager. Dersom vi gj?r dette, vil vi nevne det i gruppetimer og fellestimer, samt legge ut informasjon om det p? emnesiden.
tl;dr: Kom p? fellestime p? onsdag kl. 14.15 i Simula i Ole-Johan Dahls hus.
Lykke til videre med kurset!