Faglig innhold

Innføring i matematisk logikk og mengdelære. Tallteori og modulær aritmetikk: Heltall, primtall, Euklids algoritme, lineære kongruenser og systemer. Fermats lille teorem, det kinesiske restteoremet og noen anvendelser. Følger, rekurrensrelasjoner, vekst. Matematisk induksjon. Kombinatoriske tellemetoder med anvendelser. En innføring i teorien for relasjoner, grafer og trær. Formelle språk, grammatikker og endelige automater. Kleenes teorem.

Læringsutbytte

Emnet skal gi studentene en innføring i sentrale temaer innen diskret matematikk, som modulær aritmetikk, tellemetoder, grafteori, formelle språk og 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