Advarsel: Bildet blinker en del i deler av denne videoen.

• 00:06  Kapittel 9 - Tillukninger og induktivt definerte mengder
• 01:06  Hva vil det si at en mengde er lukket under en operasjon?
• 04:47  Tillukninger av relasjoner
• 14:20  Hvorfor definere mengder induktivt?
• 16:06  Mengden av naturlige tall definert induktivt
• 20:03  Eksempler på andre tallmengder definert induktivt
• 25:42  Mengden av utsagnslogiske formler definert induktivt
• 33:00  Mengden av alle strenger over et alfabet induktivt definert
• 37:50  Mengden av alle strenger over et alfabet vs et språk over et alfabet
• 39:15  Kapittel 10 - Rekursivt definerte funksjoner
• 40:06  Plassholdere
• 43:45  Formen på et uttrykk
• 46:53  Eksempel på en rekursiv funksjon
• 57:42  Fakultetsfunksjonen definert rekursivt

Spørsmål og svar

• 1:06:20  Litt mer om transitive tillukninger av relasjoner
• 1:14:50  Binære trær definert induktivt
• 1:22:00  En rekursiv funksjon som gir antall noder i et binært tre
• 1:27:35  Induksjonssteget i en induktiv definisjon av et språk