Kompendium i Diskret matematikk
De ulike temaene er pensum i kurset Diskret matematikk DAPE1300 ved OsloMet, og st? i den rekkef?ge de bli gjennomg?tt i kurset.

Hanois t?rn
Utsagnslogikk
Ekvivalente utsagn
Predikatlogikk
Nestede kvantorer
Innf?ing i bevisteknikk
Mengder
Mengdeoperasjoner
Funksjoner
F?ger
Rekker
Matriser
Logiske matriser
Inverse matriser
Heltallsdivisjon - div, mod
Modulo-regning
Tallsystemer med to-komplement
Primtall
gcd, Euklids algoritme
lcm
Relativt primiske tall
Kongruensligninger
Kontrollsiffer
Induksjonsbevis
Opptelling
"The pigeonhole principle"
Permutasjoner og utvalg"
Binominalkoeffisienter
Pascals trekant
Utvalg med tilbakelegging
Permutasjoner der det inng? like verdier
Differensligninger
Inklusjon og eksklusjon (mengder)
Relasjoner
Utvidelser av relasjoner - tillukning
Kombinasjoner og sammensetning av relasjoner
En vei i en relasjonsgraf
Ekvivalensrelasjoner, partielle ordninger, partisjoner og ekvivalensklasser
Grafer