Beskjeder

I forrige forelesning (5. oktober) kom vi godt i gang med temaet ekvivalensrelasjoner, som er en sentral del av pensum. På fredag (9. oktober) tenkte jeg å bruke litt ekstra tid på å snakke om veldefinerthet av funksjoner på en kvotientmengde, som er et tema som erfaringsmessig (og med god grunn) er litt vanskelig å få tak på. Dette er sentralt i ren matematikk og dukker for eksempel opp senere i abstrakt algebra (grupper, ringer og kropper) når man skal konstruere kvotientgrupper og kvotientringer. Vi kommer til å få trening på slik veldefinerthet i forelesningene framover når vi skal konstruere heltallene og de rasjonale tallene, og det vil også bli oppgaver som gir trening på det.

Hilsen Ulrik

Framover kommer jeg til å ha kontortid på torsdager 13-14. Kontoret mitt er 1230 i 12. etasje i Niels Henrik Abels hus.

Ulrik

Dere kan nå finne første obligatoriske oppgave her, eller lenger ned på emnesiden. Innleveringsfrist er torsdag 8. oktober 14:30 på canvas.

Jeg kommer til å snakke om obligen på forelesningen på fredag 25. september og hvordan jeg anbefaler å jobbe med den. Men kort sagt så anbefaler jeg alle å sette av tid til å gjøre obligen uten bruk av KI, og benytte sjansen til å få tilbakemelding fra oss på ditt reelle forsøk. Det kommer til å bli nyttig fram mot eksamen. Alle innleverte forsøk blir godkjent, så det er ingen grunn til å bruke KI. Videre er ingen tjent med at det brukes tid på å rette en KI-generert besvarelse.

Jeg minner om at første obligatoriske innlevering kommer til å bli publisert den 24. september, det vil si torsdag neste uke, med innleveringsfrist 8. oktober.

Ulrik

Heisann,

På fredag 18. september begynner vi med temaet naturlige tall. Vi skal da introdusere et nytt aksiom, uendelighetsaksiomet, som lar oss bygge mengden av naturlige tall. I de følgende forelesningene skal vi utvikle kjente og kjære begreper, som addisjon og multiplikasjon av naturlige tall. Spesielt skal vi fokusere på induksjon og rekursjon, som er helt sentrale begreper i MAT1140.

Det blir altså et skifte av tema der vi går fra å gjøre generelle og kanskje litt tørre betraktninger om mengder og funksjoner, til å jobbe mer håndfast. Jeg gleder meg, og tror det kan være en god anledning til en ny start dersom man har falt litt av forelesningene.

Hilsen Ulrik

Hei,

Som nevnt forrige uke så avlyses forelesningen fredag den 11. september grunnet reise. Men fortvil ikke: Alle andre forelesninger skal vi få gjennomført, med mindre noe uforutsett inntreffer.

Hilsen Ulrik

Studentrepresentant for MAT1140 denne høsten er Penelope. Det er bare å ta kontakt med henne dersom du har ønsker eller klager for emnet som du vil ha viderebrakt.

Hilsen Ulrik

Heisann,

Under finner dere lenker til forelesningsnotater og ukesoppgaver. Jeg tar med bedre kritt til forelesningen nå på fredag (21. august), så om jeg i tillegg skrur på tavlelyset så skal det nok bli mer lesbart framover!

Hilsen Ulrik

Velkommen til fagsiden til MAT1140 Strukturer og argumenter for høsten 2026. Pensum for kurset er Matematisk fundament av Snorre Christiansen, og forelesningene kommer til å ta utgangspunkt i denne boka. Det fins en liste over trykkfeil i boka her.

Ulrik