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–14.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!