19521
Lecture
SoSe 13: ProInformatik I: Logik und Diskrete Mathematik
Dennis Clemens
Comments
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 Zielgruppe Studieninteressierte mit Hochschulzugangsberechtigung Voraussetzungen Erfolgreiche Online-Anmeldung undEinzahlung der Kursgebühr gemäß Info-Seite 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 close
24 Class schedule
Regular appointments
Mon, 2013-06-10 09:00 - 12:00
Mon, 2013-06-10 14:00 - 16:00
Tue, 2013-06-11 09:00 - 12:00
Wed, 2013-06-12 09:00 - 12:00
Wed, 2013-06-12 14:00 - 16:00
Thu, 2013-06-13 09:00 - 12:00
Fri, 2013-06-14 09:00 - 12:00
Mon, 2013-06-17 09:00 - 12:00
Tue, 2013-06-18 09:00 - 12:00
Wed, 2013-06-19 09:00 - 12:00
Thu, 2013-06-20 09:00 - 12:00
Thu, 2013-06-20 14:00 - 16:00
Fri, 2013-06-21 09:00 - 12:00
Mon, 2013-06-24 09:00 - 12:00
Mon, 2013-06-24 14:00 - 16:00
Tue, 2013-06-25 09:00 - 12:00
Wed, 2013-06-26 09:00 - 12:00
Thu, 2013-06-27 09:00 - 12:00
Fri, 2013-06-28 09:00 - 12:00
Mon, 2013-07-01 09:00 - 12:00
Tue, 2013-07-02 09:00 - 12:00
Wed, 2013-07-03 09:00 - 12:00
Thu, 2013-07-04 09:00 - 12:00
Fri, 2013-07-05 09:00 - 12:00