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

Hanois t?rn
Utsagnslogikk
Ekvivalente utsagn
Predikatlogikk
Nestede kvantorer
Innføring i bevisteknikk
Mengder
Mengdeoperasjoner
Funksjoner
Følger
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år like verdier
Differensligninger
Inklusjon og eksklusjon (mengder)
Relasjoner
Utvidelser av relasjoner - tillukning
Kombinasjoner og sammensetning av relasjoner
En vei i en relasjonsgraf
Ekvivalensklasser
Partisjoner
Grafer