19300901
Lecture
WiSe 21/22: Logics and Discrete Mathematics
Katharina Klost, Gerhard Wunder
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
32 Class schedule
Additional appointments
Tue, 2022-02-22 10:00 - 12:00Klausur: Logik und Diskrete Mathematik
Klausureinsicht
Logik und Diskrete Mathematik (Nachklausur)
Logik und Diskrete Mathematik (Nachklausur)
Nachklausureinsicht Logik und diskrete Mathematik
Regular appointments
Tue, 2021-10-19 10:00 - 12:00
Tue, 2021-10-26 10:00 - 12:00
Tue, 2021-11-02 10:00 - 12:00
Tue, 2021-11-09 10:00 - 12:00
Tue, 2021-11-16 10:00 - 12:00
Tue, 2021-11-23 10:00 - 12:00
Tue, 2021-11-30 10:00 - 12:00
Tue, 2021-12-07 10:00 - 12:00
Tue, 2021-12-14 10:00 - 12:00
Tue, 2022-01-04 10:00 - 12:00
Tue, 2022-01-11 10:00 - 12:00
Tue, 2022-01-18 10:00 - 12:00
Tue, 2022-01-25 10:00 - 12:00
Tue, 2022-02-01 10:00 - 12:00
Tue, 2022-02-08 10:00 - 12:00
Tue, 2022-02-15 10:00 - 12: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)
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2021-10-21 10:00 - 12:00
Thu, 2021-10-28 10:00 - 12:00
Thu, 2021-11-04 10:00 - 12:00
Thu, 2021-11-11 10:00 - 12:00
Thu, 2021-11-18 10:00 - 12:00
Thu, 2021-11-25 10:00 - 12:00
Thu, 2021-12-02 10:00 - 12:00
Thu, 2021-12-09 10:00 - 12:00
Thu, 2021-12-16 10:00 - 12:00
Thu, 2022-01-06 10:00 - 12:00
Thu, 2022-01-13 10:00 - 12:00
Thu, 2022-01-20 10:00 - 12:00
Thu, 2022-01-27 10:00 - 12:00
Thu, 2022-02-03 10:00 - 12:00
Thu, 2022-02-10 10:00 - 12:00
Thu, 2022-02-17 10:00 - 12: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)
Logik und Diskrete Mathematik (Serientermin 2)