TMA4140 - Diskret matematikk

Om emnet

Vurderingsordning

Vurderingsordning: Mappevurdering
Karakter: Bokstavkarakterer

Vurderingsform Vekting Varighet Hjelpemidler Delkarakter
Semesterprøve 20/100 C
Skriftlig eksamen 80/100 4 timer C

Faglig innhold

Emnet gir en innføring i matematisk logikk og mengdelære, og elementær tallteori
med modulær aritmetikk. Andre sentrale tema er: Følger, rekurrensrelasjoner, matematisk induksjon og kombinatoriske tellemetoder med anvendelser. I tillegg gis en innføring i teorien for relasjoner, grafer og trær, samt formelle språk, grammatikker og endelige automater.

Læringsutbytte

1. Kunnskap. Studenten har grunnleggende kunnskaper innen matematisk logikk, mengdelære og kombinatoriske tellemetoder. Studenten har kjennskap til elementær tallteori, inkludert det kinesiske restteorem og Fermats lille teorem. Studenten har kunnskap om rekursjon og
induksjon, samt om relasjoner, grafer og trær. Studenten har også grunnleggende kunnskaper om formelle språk, grammatikker og endelige automater.

2. Ferdigheter. Studenten kan gjøre praktisk bruk av elementær logikk og mengdelære, kan bruke Euklids algoritme, og behersker modulær aritmetikk. Studenten kan løse systemer av lineære kongruenser ved hjelp av det kinesiske restteorem, kan føre enkle induksjonsbevis og kan gjenkjenne, forstå og bruke begreper som relasjoner, grafer og trær i anvendelser, f.eks. innen informasjonsteknologi. Videre kan studenten anvende kombinatoriske tellemetoder til å løse praktiske problemer, og kan gjøre praktisk bruk av endelige automater.

Læringsformer og aktiviteter

Forelesninger, obligatoriske øvinger, semesterprøve(r). Mappevurdering gir grunnlag for sluttkarakter i emnet. I mappen inngår skriftlig avsluttende eksamen (80%) og semesterprøve(r) (20%). Resultatene for delene angis i %-poeng, mens sensur for hele mappen (sluttkarakteren) angis med bokstavkarakter. Semesterprøven teller bare i positiv retning. I tilfelle semesterprøven gir dårligere resultat enn avsluttende eksamen, vil sluttkarakteren settes på grunnlag av skriftlig eksamen alene (100 %). Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.

Obligatoriske aktiviteter

  • Øvinger

Mer om vurdering

Dersom studenten også etter utsatt eksamen har sluttkarakteren F/ikke-bestått, må studenten gjenta hele emnet neste studieår. Arbeider som teller med i sluttkarakteren må gjentas. For mer informasjon om vurdering, se «Læringsformer og aktiviteter».

Spesielle vilkår

Vurderingsmelding krever godkjent undervisningsmelding samme semester. Obligatorisk aktivitet fra tidligere semester kan godkjennes av instituttet.

Kursmateriell

Oppgis ved kursstart.

Studiepoengreduksjon

Emnekode Reduksjon Fra Til
MA0301 7.5 30.08.2007
MA0301 3.7 01.09.2007
MA0302 7.5 30.08.2007
MA0302 3.7 01.09.2007
SIF5015 7.5

Eksamensinfo

Vurderingsordning: Mappevurdering

Termin Statuskode Vurderingsform Vekting Hjelpemidler Dato Tid Rom *
Høst ORD Semesterprøve 20/100 C
Høst ORD Skriftlig eksamen 80/100 C 15.12.2017 09:00 D1 , KJL21 , D2 , D3 , R D1-185 Datasal , KJL1
  • * Skriftlig eksamen plasseres på rom 3 dager før eksamensdato.
Hvis mer enn ett rom er oppgitt, finner du ditt rom på Studentweb.