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...