75026     DISKRET MATEMATIKK
          Diskret matematikk
          Discrete mathematics
Faglærer: Professor Alexei Rudakov
Uketimer: Høst: 3F + 2Øu = 8Bt
Tid:      Høst:  F   ti  08-10  S8                          Ø   to  12-13 S8
                     to  11-12  S8                             fr  18-19 S3
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.