Faglig innhold

Emnet er først og fremst ment som et tilbud til informatikkstudenter, og bygger ikke på forkunnskaper i matematikk utover det som undervises i videregående skole. Emnet vil også være av interesse for matematikkstudenter. Emnet gir en innføring i elementær kombinatorikk og mengdelære, setnings- og predikatslogikk, induksjon og rekursjon, relasjoner og funksjoner, grafteori, formelle språk og endelige automater.

Læringsutbytte

1. Kunnskap: Studenten har grunnleggende kunnskaper innen matematisk logikk, mengdelære og kombinatoriske tellemetoder. Studenten har kunnskaper om rekursjon og induksjon, samt om relasjoner, grafer og trær. Videre har studenten 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 føre enkle induksjonsbevis, kan anvende kombinatoriske tellemetoder til å løse praktiske problemer og kan gjøre praktisk bruk av endelige automater. Studenten kan gjenkjenne, forstå og bruke begreper som relasjoner, grafer og trær i anvendelser, f.eks. innen informasjonsteknologi.

Læringsformer og aktiviteter

Forelesninger og obligatoriske øvinger. Deler av undervisningen kan bli gitt på engelsk.

Obligatoriske aktiviteter

• Øvinger

Anbefalte forkunnskaper

Matematikk fra videregående skole.

Kursmateriell

Oppgis ved kursets start.

Studiepoengreduksjon