Se på YouTube

• 03:05  Oppgave 7.2
• 14:00  Oppgave 7.4
• 28:05  Oppgave 7.3 (a)
• 29:30  Oppgave 7.7
• 34:05  Hvordan vise at en funksjon er injektiv?
• 39:30  Oppgave 8.10
• 47:45  Hvordan vise at en relasjon er transitiv?
• 54:35  Diagonaliseringsargumentet for å vise at en mengde er overtellbar
• 1:03:00  Hva er en total ordning?
• 1:07:25  Tellbare uendelig mengder
• 1:10:25  Visualiseringer av relasjoner og funksjoner