SIF5015   DISKRET MATEMATIKK
          Diskret matematikk
          Discrete mathematics
Faglærer: Professor Alexei Rudakov
Uketimer: Vår: 4F + 4Øu =  12Bt
Tid:      Vår:   F   ma  08-10  S4                          Ø   ti  15-17 EL3
                     on  08-10  EL3                            fr  08-10 S4
Eksamen:  25.mai               Hjelpemidler: B2            Øvinger: O    Karakter: TE

For studenter ved Datateknikk, 1. årskurs.

Mål: Faget skal gi studentene en innføring i sentrale emner innen diskret matematikk.

Forutsetning: Matematikk 1.

Innhold: Utsagnslogikk, predikat og kvantorer. Bevismetoder. Mengder, relasjoner og funksjoner. Ekvivalensrelasjoner og delvise ordninger. Latticer og Boolesk algebra. Elementær tallteori, Euklids algoritme, modulær aritmetikk. Induksjon. Formelle språk, grammatikker og endelige automater. Grafteoretiske grunnbegreper. Planare grafer, stier, sykler, trær. Hamiltonsykler og Eulerstier. Kombinatoriske tellemetoder, genererende funksjoner, rekurrensrelasjoner. Inklusjon og eksklusjon.

Undervisningsform: Forelesninger og obligatoriske øvinger.

Kursmateriell: Oppgis ved kursets begynnelse.