Vikarforeleser Tom brukte litt tid innledningsvis til å snakke om formatet til kurset (alt dette finnes også andre steder på emnesiden og i Canvas). Deretter snakket han litt om mengder og funksjoner med utgangspunkt i seksjon 1.2 i læreboken. Som et eksempel på hvordan man viser likhet mellom mengder, gikk han gjennom beviset for en av De Morgans lover. Han snakket også litt om injektive ("one-to-one") og surjektive ("onto") funksjoner (se oppgave 1.2.8 for mer).
Etter pause begynte han på seksjon 1.3 om kompletthetsprinsippet. Han brukte en del tid på å forklare hvorfor vi trenger et slikt prinsipp for å få en tallinje som gjenspeiler de intuitive egenskapene til en geometrisk linje, og avsluttet med å gjennomgå eksempel 1.3.6.
Forelesningen denne gangen var nok mer detaljert enn de dere vil møte senere i kurset, men det gjelder å få de grunnleggende verktøyene på plass.
Før neste forelesning kan det være l...