19300901
Lecture
WiSe 20/21: Logics and Discrete Mathematics
Wolfgang Mulzer
Comments
propositional logic and mathematical proof techniques
Boolean formulae und Boolean functions, disjunctive and conjunctive normal form, satisfiability, resolution calculus
set theory: sets, ... read more
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 ... read more
30 Class schedule
Additional appointments
Mon, 2021-03-01 10:00 - 12:00Klausur
Nachklausur
Regular appointments
Mon, 2020-11-02 08:00 - 10:00
Mon, 2020-11-09 08:00 - 10:00
Mon, 2020-11-16 08:00 - 10:00
Mon, 2020-11-23 08:00 - 10:00
Mon, 2020-11-30 08:00 - 10:00
Mon, 2020-12-07 08:00 - 10:00
Mon, 2020-12-14 08:00 - 10:00
Mon, 2021-01-04 08:00 - 10:00
Mon, 2021-01-11 08:00 - 10:00
Mon, 2021-01-18 08:00 - 10:00
Mon, 2021-01-25 08:00 - 10:00
Mon, 2021-02-01 08:00 - 10:00
Mon, 2021-02-08 08:00 - 10:00
Mon, 2021-02-15 08:00 - 10:00
Mon, 2021-02-22 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Logik und Diskrete Mathematik (Serientermin 2)
Wed, 2020-11-04 08:00 - 10:00
Wed, 2020-11-11 08:00 - 10:00
Wed, 2020-11-18 08:00 - 10:00
Wed, 2020-11-25 08:00 - 10:00
Wed, 2020-12-02 08:00 - 10:00
Wed, 2020-12-09 08:00 - 10:00
Wed, 2020-12-16 08:00 - 10:00
Wed, 2021-01-06 08:00 - 10:00
Wed, 2021-01-13 08:00 - 10:00
Wed, 2021-01-20 08:00 - 10:00
Wed, 2021-01-27 08:00 - 10:00
Wed, 2021-02-03 08:00 - 10:00
Wed, 2021-02-10 08:00 - 10:00
Wed, 2021-02-17 08:00 - 10:00
Wed, 2021-02-24 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)
Logik und Diskrete Mathematik (Serientermin 1)