Mis on Diskreetne Matemaatika
— Loogika: Lausearvutus, Predikaatarvutus, Tõestusmeetodid
Mistahes formaalne esitus peab olema üheselt tõlgendatav!
— Loogikaalgebra (Boole'i algebra)
— Loogikafunktsioonid: minimeerimine, normaalkujud . . .
— Algebralised struktuurid: "mitteformaalne" ≡ "verbaalne" (sünonüümid)
Fundamentaalalgebrad: Võred, Rühmad, Ringid, Korpused
— Vastavused ja Relatsioonid MATEMAATILINE LOOGIKA
— Graafid
LAUSEARVUTUS
— Kombinatoorika: Kombinatsioonid, Variatsioonid, Permutatsioonid
annaabi.ee 
