Mathematik für Informatiker 1:Logik und Diskrete Mathematik

Dieser Artikel / Abschnitt ist veraltet!

Alle Seiten, in denen diese Vorlage verwendet wird, werden automatisch in die Kategorie:Veraltet einsortiert. Diese Seite bezieht sich auf das Modul "Logik und Diskrete Mathematik" nach der Studien- und Prüfungsordnung vom 8.2.2007.

Inhalt

• 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

Alte Klausuren

• Klausur WiSe07/08
• Zwischenklausur WiSe07/08

Literatur

• Literaturempfehlung#MAFI_1