SoSe 15: ProInformatik I: Logik und Diskrete Mathematik
Paul Seiferth
Additional information / Pre-requisites
Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!
Comments
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
closeSuggested reading
- 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
20 Class schedule
Additional appointments
Thu, 2015-06-18 12:00 - 14:00
Location:
049/T9 Seminarraum (Takustr. 9)
Regular appointments
Location:
0.1.01 Hörsaal B (Arnimallee 14)
Location:
SR 005/A3 Seminarraum (Arnimallee 3-5)
SR 005/T9 Übungsraum (Takustr. 9)
Inhalte:
- Aussagenlogik und mathematische Beweistechniken Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül Mengenlehre: Mengen, ... read more