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

Anbefalte forkunnskaper

Ingen.

Kursmateriell

Oppgis ved kursstart.

Studiepoengreduksjon