19300901
Lecture
WiSe 22/23: Logics and Discrete Mathematics
Katharina Klost
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
48 Class schedule
Additional appointments
Thu, 2022-11-10 16:00 - 18:00Zentralübung
Klausur
Klausureinsicht
Klausureinsicht
Nachklausur
Nachklausur
Klausur
Regular appointments
Tue, 2022-10-18 10:00 - 12:00
Tue, 2022-10-25 10:00 - 12:00
Tue, 2022-11-01 10:00 - 12:00
Tue, 2022-11-08 10:00 - 12:00
Tue, 2022-11-15 10:00 - 12:00
Tue, 2022-11-22 10:00 - 12:00
Tue, 2022-11-29 10:00 - 12:00
Tue, 2022-12-06 10:00 - 12:00
Tue, 2022-12-13 10:00 - 12:00
Tue, 2023-01-03 10:00 - 12:00
Tue, 2023-01-10 10:00 - 12:00
Tue, 2023-01-17 10:00 - 12:00
Tue, 2023-01-24 10:00 - 12:00
Tue, 2023-01-31 10:00 - 12:00
Tue, 2023-02-07 10:00 - 12:00
Tue, 2023-02-14 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)
Thu, 2022-10-20 10:00 - 12:00
Thu, 2022-10-27 10:00 - 12:00
Thu, 2022-11-03 10:00 - 12:00
Thu, 2022-11-10 10:00 - 12:00
Thu, 2022-11-17 10:00 - 12:00
Thu, 2022-11-24 10:00 - 12:00
Thu, 2022-12-01 10:00 - 12:00
Thu, 2022-12-08 10:00 - 12:00
Thu, 2022-12-15 10:00 - 12:00
Thu, 2023-01-05 10:00 - 12:00
Thu, 2023-01-12 10:00 - 12:00
Thu, 2023-01-19 10:00 - 12:00
Thu, 2023-01-26 10:00 - 12:00
Thu, 2023-02-02 10:00 - 12:00
Thu, 2023-02-09 10:00 - 12:00
Thu, 2023-02-16 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, 2022-11-03 16:00 - 18:00
Thu, 2022-11-10 16:00 - 18:00
Thu, 2022-11-17 16:00 - 18:00
Thu, 2022-11-24 16:00 - 18:00
Thu, 2022-12-01 16:00 - 18:00
Thu, 2022-12-08 16:00 - 18:00
Thu, 2022-12-15 16:00 - 18:00
Thu, 2022-12-22 16:00 - 18:00
Thu, 2022-12-29 16:00 - 18:00
Thu, 2023-01-05 16:00 - 18:00
Thu, 2023-01-12 16:00 - 18:00
Thu, 2023-01-19 16:00 - 18:00
Thu, 2023-01-26 16:00 - 18:00
Thu, 2023-02-02 16:00 - 18:00
Thu, 2023-02-09 16:00 - 18:00
Thu, 2023-02-16 16:00 - 18:00
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung
Zentralübung