19503
Vorlesung
WiSe 12/13: MafI I: Logik und Diskrete Mathematik
Klaus Kriegel
Zusätzl. Angaben / Voraussetzungen
Wer keinen Platz in einer Seminargruppe finden kann, soll sich zunächst im Zusatztutorium (Sonntagstermin) anmelden!
Kommentar
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 Schließen
32 Termine
Regelmäßige Termine der Lehrveranstaltung
Di, 16.10.2012 08:00 - 10:00
Di, 23.10.2012 08:00 - 10:00
Di, 30.10.2012 08:00 - 10:00
Di, 06.11.2012 08:00 - 10:00
Di, 13.11.2012 08:00 - 10:00
Di, 20.11.2012 08:00 - 10:00
Di, 27.11.2012 08:00 - 10:00
Di, 04.12.2012 08:00 - 10:00
Di, 11.12.2012 08:00 - 10:00
Di, 18.12.2012 08:00 - 10:00
Di, 08.01.2013 08:00 - 10:00
Di, 15.01.2013 08:00 - 10:00
Di, 22.01.2013 08:00 - 10:00
Di, 29.01.2013 08:00 - 10:00
Di, 05.02.2013 08:00 - 10:00
Di, 12.02.2013 08:00 - 10:00
Do, 18.10.2012 10:00 - 12:00
Do, 25.10.2012 10:00 - 12:00
Do, 01.11.2012 10:00 - 12:00
Do, 08.11.2012 10:00 - 12:00
Do, 15.11.2012 10:00 - 12:00
Do, 22.11.2012 10:00 - 12:00
Do, 29.11.2012 10:00 - 12:00
Do, 06.12.2012 10:00 - 12:00
Do, 13.12.2012 10:00 - 12:00
Do, 20.12.2012 10:00 - 12:00
Do, 10.01.2013 10:00 - 12:00
Do, 17.01.2013 10:00 - 12:00
Do, 24.01.2013 10:00 - 12:00
Do, 31.01.2013 10:00 - 12:00
Do, 07.02.2013 10:00 - 12:00
Do, 14.02.2013 10:00 - 12:00