19300901
Lecture
WiSe 19/20: Logics and Discrete Mathematics
Boris Klemz
Comments
- propositional logic and mathematical proof techniques
- Boolean formulae und Boolean functions, disjunctive and conjunctive normal form, satisfiability, resolution calculus
- set theory: sets, relations, equivalence and order relations, functions
- natural numbers, the induction principle, cardinal numbers
- first-order logic und mathematical structures
- combinatorics: counting techniques, binomial coefficents and Stirling numbers, recurrences, pigeon hole principle
- graph theory: graphs and their representations, paths and cycles in graphs, trees
Suggested reading
- 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 Class schedule
Additional appointments
Thu, 2020-02-20 12:00 - 15:00Klausur
Location:
Hs 1b Hörsaal (Habelschwerdter Allee 45)
Hs 2 Hörsaal (Habelschwerdter Allee 45)
T9/Gr. Hörsaal (Takustr. 9)
Nachklausur
Wed, 2020-08-12 10:00 - 13:00
Klausur
Regular appointments
Tue, 2019-10-15 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2019-10-22 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2019-10-29 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2019-11-05 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2019-11-12 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2019-11-19 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2019-11-26 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2019-12-03 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2019-12-10 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2019-12-17 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2020-01-07 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2020-01-14 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2020-01-21 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2020-01-28 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2020-02-04 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2020-02-11 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Thu, 2019-10-17 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2019-10-24 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2019-10-31 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2019-11-07 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2019-11-14 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2019-11-21 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2019-11-28 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2019-12-05 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2019-12-12 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2019-12-19 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2020-01-09 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2020-01-16 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2020-01-23 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2020-01-30 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2020-02-06 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2020-02-13 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)