Inhalte:
– Aussagenlogik und mathematische Beweistechniken
– Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
– Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
– Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
– Prädikatenlogik und mathematische Strukturen
– Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
– Graphentheorie: Graphen und ihre Darstellungen,Wege und Kreise in Graphen, Bäume.