Rapport fra f?rste forelesning

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 lurt ? kikke spesielt p? oppgavene: 1.2.3, 1.2.5, 1.2.7, 1.2.8, 1.2.9 og 1.3.1, 1.3.3, 1.3.8 og 1.3.10.

Noen etterlyste litt mer bakgrunnsstoff om mengder og funksjoner, s? vi har lastet opp en kort oppsummering som tidligere er v?rt brukt i MAT2400.