MAT1140 – Strukturer og argumenter
Beskrivelse av emnet
Kort om emnet
MAT1140 er en f?rste innf?ring i abstrakt matematikk. Emnet introduserer matematiske strukturer som er felles for mange fagomr?der, og det gir studentene trening i ? argumentere matematisk. Emnet forutsetter ikke faglige kunnskaper utover videreg?ende skole, men det er en fordel ? ha v?rt eksponert for matematisk argumentasjon. MAT1140 gir et solid grunnlag for videre arbeid med teoretiske matematikkemner.
Hva l?rer du?
Etter ? ha fullf?rt emnet:
- vet du hvordan man analyserer det logiske forholdet mellom enkle utsagn, kjenner vanlige bevisteknikker, og kan presentere egne matematiske argumenter p? en klar og velorganisert m?te ved hjelp av korrekt notasjon og terminologi
- kjenner du mengdebegrepet og de Boolske operasjonene, kan gjennomf?re argumenter med mengder og familier av mengder, kjenner kardinalitetsbegrepet og de viktigste egenskapene til tellbare mengder
- kjenner du funksjons- og relasjonsbegrepene, kan bruke funksjoner og relasjoner til ? beskrive matematiske sammenhenger, og kan gjenkjenne og bruke ekvivalensrelasjoner og partielle ordninger
- vet du hvordan hele tall er bygget opp av primtall, kan argumentere med restklasser, og kjenner karakteriseringer av pytagoreiske tripler og kvadratsummer
- kjenner du de grunnleggende egenskapene til noen algebraiske strukturer, spesielt ringer og kropper, og hvordan dette belyser eksempler som reelle tall og polynomer
Opptak til emnet
Studenter m? hvert semester?s?ke og f? plass p? undervisningen og melde seg til eksamen?i Studentweb.
Spesielle opptakskrav
I tillegg til generell studiekompetanse eller realkompetanse?m? du dekke spesielle opptakskrav.
Du m? ha:
- Matematikk R1 (eller Matematikk S1 og S2) + R2
Og en av disse:
- Fysikk (1+2)
- Kjemi (1+2)
- Biologi (1+2)
- Informasjonsteknologi (1+2)
- Geofag (1+2)
- Teknologi og forskningsl?re (1+2)
De spesielle opptakskravene kan ogs? dekkes med fag fra videreg?ende oppl?ring f?r Kunnskapsl?ftet, eller p? andre m?ter.
Anbefalte forkunnskaper
Overlappende emner
- 5 studiepoeng overlapp med INF1080 – Logiske metoder for informatikk (videref?rt).
- 5 studiepoeng overlapp med IN1150 – Logiske metoder.
Undervisning
4 timer forelesning og 2 timer gruppeundervisning hver uke hele semesteret.
Tilbudet i antall grupper kan justeres underveis i semesteret, avhengig av oppm?tet.
Eksamen
Avsluttende skriftlig eksamen som teller 100 % ved sensurering.
Dette emnet har 2 obligatoriske ?velser som m? v?re godkjent f?r avsluttende eksamen.
Hjelpemidler til eksamen
Ingen hjelpemidler tillatt.
Eksamensspr?k
Eksamensoppgaven gis p? norsk. Du kan besvare eksamenen p? norsk, svensk, dansk eller engelsk.
Karakterskala
Emnet bruker?karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen
Adgang til ny eller utsatt eksamen
Dette emnet tilbyr b?de utsatt og ny eksamen. Les mer:
Mer om eksamen ved UiO
- Kildebruk og referanser
- Hvordan bruke KI som student
- Tilrettelegging p? eksamen
- Trekk fra eksamen
- Syk p? eksamen / utsatt eksamen
- Begrunnelse og klage
- Ta eksamen p? nytt
- Fusk/fors?k p? fusk
Andre veiledninger og ressurser finner du p? fellessiden om eksamen ved UiO.