19300901
Vorlesung
WiSe 19/20: Logik und Diskrete Mathematik
Boris Klemz
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
Do, 20.02.2020 12:00 - 15:00Klausur
Räume:
Hs 1b Hörsaal (Habelschwerdter Allee 45)
Hs 2 Hörsaal (Habelschwerdter Allee 45)
T9/Gr. Hörsaal (Takustr. 9)
Nachklausur
Mi, 12.08.2020 10:00 - 13:00
Klausur
Regelmäßige Termine der Lehrveranstaltung
Di, 15.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 22.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 29.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 05.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 12.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 19.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 26.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 03.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 10.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 17.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 07.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 14.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 21.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 28.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 04.02.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 11.02.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Do, 17.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 24.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 31.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 07.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 14.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 21.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 28.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 05.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 12.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 19.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 09.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 16.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 23.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 30.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 06.02.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 13.02.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)