Beskjeder

Av Ulrik Bo Rufus Enstad
Publisert 30. okt. 2026 12:24

Hei,

Som opplyst i fanen Eksamen: tid og sted, så skal UiO sitt nye eksamenssystem Wiseflow tas i bruk i MAT1140 denne høsten. Dette innebærer at man på eksamensdagen gjør en registrering av besvarelsen inne i Wiseflow-systemet på datamaskin. Utover dette er det håndskrevet eksamen som vanlig.

I den forbindelse skal vi lage en test-eksamen slik at man kan logge inn og gjøre seg kjent med systemet. Denne kommer jeg til å legge ut trolig neste uke. Test-eksamen er ikke å forveksle med prøve-eksamen, som jeg legger ut nærmere den faktiske eksamensdatoen.

Sjekk fanen Eksamen: tid og sted for mer info.

Ulrik

Av Ulrik Bo Rufus Enstad
Publisert 26. okt. 2026 15:05

Heisann,

Siden det skjedde en misforståelse forrige uke og vi endte med kun én gruppetime den uka, så setter vi opp en ekstra gruppetime torsdag 29. oktober 10:15-12:00 i Auditorium 4 i Vilhelm Bjerknes Hus.

Av Ulrik Bo Rufus Enstad
Publisert 22. okt. 2026 13:16

Dere kan finne den her.

Merk at innleveringsfristen er om to uker, torsdag 5. november kl 14:30 i canvas.

Hilsen Ulrik

Av Ulrik Bo Rufus Enstad
Publisert 6. okt. 2026 11:18

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

Av Ulrik Bo Rufus Enstad
Publisert 25. sep. 2026 17:32

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

Ulrik

Av Ulrik Bo Rufus Enstad
Publisert 24. sep. 2026 09:54

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.

Av Ulrik Bo Rufus Enstad
Publisert 17. sep. 2026 09:23

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

Av Ulrik Bo Rufus Enstad
Publisert 16. sep. 2026 12:55

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

Av Ulrik Bo Rufus Enstad
Publisert 7. sep. 2026 08:48

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

Av Ulrik Bo Rufus Enstad
Publisert 27. aug. 2026 19:29

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

Av Ulrik Bo Rufus Enstad
Publisert 17. aug. 2026 16:46

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

Av Ulrik Bo Rufus Enstad
Publisert 7. juli 2026 14:26

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