19503
Lecture
WiSe 12/13: MafI I: Logik und Diskrete Mathematik
Klaus Kriegel
Additional information / Pre-requisites
Wer keinen Platz in einer Seminargruppe finden kann, soll sich zunächst im Zusatztutorium (Sonntagstermin) anmelden!
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 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
32 Class schedule
Regular appointments
Tue, 2012-10-16 08:00 - 10:00
Tue, 2012-10-23 08:00 - 10:00
Tue, 2012-10-30 08:00 - 10:00
Tue, 2012-11-06 08:00 - 10:00
Tue, 2012-11-13 08:00 - 10:00
Tue, 2012-11-20 08:00 - 10:00
Tue, 2012-11-27 08:00 - 10:00
Tue, 2012-12-04 08:00 - 10:00
Tue, 2012-12-11 08:00 - 10:00
Tue, 2012-12-18 08:00 - 10:00
Tue, 2013-01-08 08:00 - 10:00
Tue, 2013-01-15 08:00 - 10:00
Tue, 2013-01-22 08:00 - 10:00
Tue, 2013-01-29 08:00 - 10:00
Tue, 2013-02-05 08:00 - 10:00
Tue, 2013-02-12 08:00 - 10:00
Thu, 2012-10-18 10:00 - 12:00
Thu, 2012-10-25 10:00 - 12:00
Thu, 2012-11-01 10:00 - 12:00
Thu, 2012-11-08 10:00 - 12:00
Thu, 2012-11-15 10:00 - 12:00
Thu, 2012-11-22 10:00 - 12:00
Thu, 2012-11-29 10:00 - 12:00
Thu, 2012-12-06 10:00 - 12:00
Thu, 2012-12-13 10:00 - 12:00
Thu, 2012-12-20 10:00 - 12:00
Thu, 2013-01-10 10:00 - 12:00
Thu, 2013-01-17 10:00 - 12:00
Thu, 2013-01-24 10:00 - 12:00
Thu, 2013-01-31 10:00 - 12:00
Thu, 2013-02-07 10:00 - 12:00
Thu, 2013-02-14 10:00 - 12:00