19300901
Vorlesung
WiSe 14/15: Logik und Diskrete Mathematik
Katharina Wolter
Kommentar
- 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
Literaturhinweise
- 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
32 Termine
Zusätzliche Termine
Fr, 27.03.2015 10:00 - 12:00Nachklausur
Hörsaal 1a Rostlaube, Habelschwerdter Allee 45
Regelmäßige Termine der Lehrveranstaltung
Di, 14.10.2014 08:00 - 10:00
Di, 21.10.2014 08:00 - 10:00
Di, 28.10.2014 08:00 - 10:00
Di, 04.11.2014 08:00 - 10:00
Di, 11.11.2014 08:00 - 10:00
Di, 18.11.2014 08:00 - 10:00
Di, 25.11.2014 08:00 - 10:00
Di, 02.12.2014 08:00 - 10:00
Di, 09.12.2014 08:00 - 10:00
Di, 16.12.2014 08:00 - 10:00
Di, 06.01.2015 08:00 - 10:00
Di, 13.01.2015 08:00 - 10:00
Di, 20.01.2015 08:00 - 10:00
Di, 27.01.2015 08:00 - 10:00
Di, 03.02.2015 08:00 - 10:00
Di, 10.02.2015 08:00 - 10:00
Do, 16.10.2014 10:00 - 12:00
Do, 23.10.2014 10:00 - 12:00
Do, 30.10.2014 10:00 - 12:00
Do, 06.11.2014 10:00 - 12:00
Do, 13.11.2014 10:00 - 12:00
Do, 20.11.2014 10:00 - 12:00
Do, 27.11.2014 10:00 - 12:00
Do, 04.12.2014 10:00 - 12:00
Do, 11.12.2014 10:00 - 12:00
Do, 18.12.2014 10:00 - 12:00
Do, 08.01.2015 10:00 - 12:00
Do, 15.01.2015 10:00 - 12:00
Do, 22.01.2015 10:00 - 12:00
Do, 29.01.2015 10:00 - 12:00
Do, 05.02.2015 10:00 - 12:00
Do, 12.02.2015 10:00 - 12:00