75026      DISKRET MATEMATIKK
           Diskret matematikk
           Discrete mathematics
Faglærer:  Førsteamanuensis Idar Hansen
Uketimer:  Høst: 3F + 2Øu = 8Bt
Tid:       Høst: F   ti  08-10  H3                          Ø   on  17-19 S2
                     fr  13-14  H3
Eksamen:   16.desember          Hjelpemidler: B1            Øvinger: F    Karakter: TE

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

Forutsetning: Ingen.

Innhold: Utsagnslogikk og normalformer. Predikat, kavantorer og preneks normalform. Bevismetoder. Mengder, relasjoner og funksjoner. Ekvivalensrelasjoner. Delvise ordninger, Hassediagram og topologisk sortering. Booleske algebraer. Elementær tallteori, Euklids algoritme, modulær aritmetikk. Induksjonsprinsipper og rekursjon. Språk, grammatikker og automater. Kleenes teorem.

Undervisningsform: Forelesninger og frivillige regneøvinger.

Kursmateriell: Oppgis ved kursets begynnelse.