Contents:

• propositional logic and mathematical proof techniques
  • Boolean terms and functions, DNF and CNF, satisfiability, resolution
  • set theory: sets, relations, equivalence and order relations, functions
  • natural numbers and induction, countability
  • predicate logic and mathematical structures
• combinatorics: counting, binomial coefficients and Stirling numbers, recursion, pigeonhole principle
• discrete probability theory
• graph theory: graphs and their representation, paths and cycles, trees

• 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

The registration for the course can only be done through the Proinformatik registration!