Induktivt definerte mengder og rekursive funksjoner

Vi har n? begynt p? en bolk med fire kapitler som henger sammen: kapittel 9 (induktivt definerte mengder) og kapittel 10 (rekursive funksjoner) og kapittel 11 (matematisk induksjon) og kapittel 12 (strukturell induksjon). Dette er typisk n? kurset begynner ? bli litt mer utfordrende (men ogs? mer interessant), s? det l?nner seg ? lese litt ekstra. P? fredag kl. 12.15¨C14.00 blir det igjen oppgaveregning med sp?rsm?l og svar, p? samme m?te som forrige fredag. Hvis dere har noen ?nsker til oppgaver, eller annet som vi b?r gjennomg? n?rmere, si ifra via Slack eller via e-post til rantonse@ifi.uio.no. Vi sees p? fredag!