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:00
Zentralübung
Fri, 2023-02-24 10:00 - 13:00
Klausur
Fri, 2023-03-03 12:00 - 14:00
Klausureinsicht
Tue, 2023-03-14 16:00 - 18:00
Klausureinsicht
Tue, 2023-04-04 14:00 - 16:30
Nachklausur
Tue, 2023-04-04 14:00 - 16:30
Nachklausur
Tue, 2023-04-04 14:00 - 16:30
Klausur

Regular appointments

Tue, 2022-10-18 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2022-10-25 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2022-11-01 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2022-11-08 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2022-11-15 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2022-11-22 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2022-11-29 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2022-12-06 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2022-12-13 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2023-01-03 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2023-01-10 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2023-01-17 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2023-01-24 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2023-01-31 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2023-02-07 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Tue, 2023-02-14 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Thu, 2022-10-20 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2022-10-27 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2022-11-03 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2022-11-10 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2022-11-17 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2022-11-24 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2022-12-01 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2022-12-08 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2022-12-15 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2023-01-05 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2023-01-12 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2023-01-19 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2023-01-26 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2023-02-02 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2023-02-09 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2023-02-16 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Thu, 2022-11-03 16:00 - 18:00
Zentralübung
Thu, 2022-11-10 16:00 - 18:00
Zentralübung
Thu, 2022-11-17 16:00 - 18:00
Zentralübung
Thu, 2022-11-24 16:00 - 18:00
Zentralübung
Thu, 2022-12-01 16:00 - 18:00
Zentralübung
Thu, 2022-12-08 16:00 - 18:00
Zentralübung
Thu, 2022-12-15 16:00 - 18:00
Zentralübung
Thu, 2022-12-22 16:00 - 18:00
Zentralübung
Thu, 2022-12-29 16:00 - 18:00
Zentralübung
Thu, 2023-01-05 16:00 - 18:00
Zentralübung
Thu, 2023-01-12 16:00 - 18:00
Zentralübung
Thu, 2023-01-19 16:00 - 18:00
Zentralübung
Thu, 2023-01-26 16:00 - 18:00
Zentralübung
Thu, 2023-02-02 16:00 - 18:00
Zentralübung
Thu, 2023-02-09 16:00 - 18:00
Zentralübung
Thu, 2023-02-16 16:00 - 18:00
Zentralübung

Subjects A - Z