19300901
Lecture
WiSe 17/18: Logics and Discrete Mathematics
Frank Hoffmann
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
31 Class schedule
Additional appointments
Wed, 2018-02-21 08:00 - 12:00Klausur
Location:
HFB/A Hörsaal (Garystr. 35-37)
Hs 1b Hörsaal (Habelschwerdter Allee 45)
Hs 2 Hörsaal (Habelschwerdter Allee 45)
Nachklausur
Location:
HFB/A Hörsaal (Garystr. 35-37)
HFB/B Hörsaal (Garystr. 35-37)
HFB/D Hörsaal (Garystr. 35-37)
Regular appointments
Tue, 2017-10-17 08:00 - 10:00
Tue, 2017-10-24 08:00 - 10:00
Tue, 2017-11-07 08:00 - 10:00
Tue, 2017-11-14 08:00 - 10:00
Tue, 2017-11-21 08:00 - 10:00
Tue, 2017-11-28 08:00 - 10:00
Tue, 2017-12-05 08:00 - 10:00
Tue, 2017-12-12 08:00 - 10:00
Tue, 2017-12-19 08:00 - 10:00
Tue, 2018-01-09 08:00 - 10:00
Tue, 2018-01-16 08:00 - 10:00
Tue, 2018-01-23 08:00 - 10:00
Tue, 2018-01-30 08:00 - 10:00
Tue, 2018-02-06 08:00 - 10:00
Tue, 2018-02-13 08:00 - 10:00
Thu, 2017-10-19 10:00 - 12:00
Thu, 2017-10-26 10:00 - 12:00
Thu, 2017-11-02 10:00 - 12:00
Thu, 2017-11-09 10:00 - 12:00
Thu, 2017-11-16 10:00 - 12:00
Thu, 2017-11-23 10:00 - 12:00
Thu, 2017-11-30 10:00 - 12:00
Thu, 2017-12-07 10:00 - 12:00
Thu, 2017-12-14 10:00 - 12:00
Thu, 2017-12-21 10:00 - 12:00
Thu, 2018-01-11 10:00 - 12:00
Thu, 2018-01-18 10:00 - 12:00
Thu, 2018-01-25 10:00 - 12:00
Thu, 2018-02-01 10:00 - 12:00
Thu, 2018-02-08 10:00 - 12:00
Thu, 2018-02-15 10:00 - 12:00