19310201
Lecture
SoSe 20: ProInformatik I: Logics and Discrete Mathematics
Benjamin Berendsohn, Kristin Knorr
Additional information / Pre-requisites
The registration for the course can only be done through the Proinformatik registration!
Comments
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
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
25 Class schedule
Regular appointments
Mon, 2020-08-03 08:00 - 12:00
Tue, 2020-08-04 08:00 - 12:00
Wed, 2020-08-05 08:00 - 12:00
Thu, 2020-08-06 08:00 - 12:00
Fri, 2020-08-07 08:00 - 12:00
Mon, 2020-08-10 08:00 - 12:00
Tue, 2020-08-11 08:00 - 12:00
Wed, 2020-08-12 08:00 - 12:00
Thu, 2020-08-13 08:00 - 12:00
Fri, 2020-08-14 08:00 - 12:00
Mon, 2020-08-17 08:00 - 12:00
Tue, 2020-08-18 08:00 - 12:00
Wed, 2020-08-19 08:00 - 12:00
Thu, 2020-08-20 08:00 - 12:00
Fri, 2020-08-21 08:00 - 12:00
Mon, 2020-08-24 08:00 - 12:00
Tue, 2020-08-25 08:00 - 12:00
Wed, 2020-08-26 08:00 - 12:00
Thu, 2020-08-27 08:00 - 12:00
Fri, 2020-08-28 08:00 - 12:00
Mon, 2020-08-31 08:00 - 12:00
Tue, 2020-09-01 08:00 - 12:00
Wed, 2020-09-02 08:00 - 12:00
Thu, 2020-09-03 08:00 - 12:00
Fri, 2020-09-04 08:00 - 12:00
Contents:
propositional logic and mathematical proof techniques Boolean terms and functions, DNF and CNF, satisfiability, resolution set theory: sets, relations, equivalence ... read more