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
• diskrete Wahrscheinlichkeitsverteilungen
• Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume

Literatur

• Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
• Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5.Auflage 2000
• Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
• M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004

Zusätzliche Informationen

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

Die Vorlesung findet Mo,Di,Do,Fr von 9-10:30 und 14-15:30 statt. Das Tutorium ist von 10:35-12:35. Die Zuordnung zum Tutorium kann unter 'Section Info' eingesehen werden.

Das Team