Matematisk induksjon: basistilfelle og induksjonsstegSterk induksjon med flere basistilfellerRekursivt definerte følger (Fibonacci/Tribonacci-type)Bevis av lukket form for rekurrens ved induksjonStrukturell induksjon på strenger og rekursivt definerte mengder
Om denne oppgaven: Dette er en øvingsoppgave med løsningsforslag utarbeidet av Eksamenssett.no for treningsformål. Den er ikke en offisiell eksamen fra NTNU – både oppgavetekst og løsning er vårt eget materiale.