19300901
Vorlesung
WiSe 22/23: Logik und Diskrete Mathematik
Katharina Klost
Kommentar
Aussagenlogik und mathematische Beweistechniken
Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
Mengenlehre: Mengen, Relationen, ... Lesen Sie weiter
Literaturhinweise
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 ... Lesen Sie weiter
48 Termine
Zusätzliche Termine
Do, 10.11.2022 16:00 - 18:00Zentralübung
Klausur
Klausureinsicht
Klausureinsicht
Nachklausur
Nachklausur
Klausur
Regelmäßige Termine der Lehrveranstaltung
Di, 18.10.2022 10:00 - 12:00
Di, 25.10.2022 10:00 - 12:00
Di, 01.11.2022 10:00 - 12:00
Di, 08.11.2022 10:00 - 12:00
Di, 15.11.2022 10:00 - 12:00
Di, 22.11.2022 10:00 - 12:00
Di, 29.11.2022 10:00 - 12:00
Di, 06.12.2022 10:00 - 12:00
Di, 13.12.2022 10:00 - 12:00
Di, 03.01.2023 10:00 - 12:00
Di, 10.01.2023 10:00 - 12:00
Di, 17.01.2023 10:00 - 12:00
Di, 24.01.2023 10:00 - 12:00
Di, 31.01.2023 10:00 - 12:00
Di, 07.02.2023 10:00 - 12:00
Di, 14.02.2023 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)
Do, 20.10.2022 10:00 - 12:00
Do, 27.10.2022 10:00 - 12:00
Do, 03.11.2022 10:00 - 12:00
Do, 10.11.2022 10:00 - 12:00
Do, 17.11.2022 10:00 - 12:00
Do, 24.11.2022 10:00 - 12:00
Do, 01.12.2022 10:00 - 12:00
Do, 08.12.2022 10:00 - 12:00
Do, 15.12.2022 10:00 - 12:00
Do, 05.01.2023 10:00 - 12:00
Do, 12.01.2023 10:00 - 12:00
Do, 19.01.2023 10:00 - 12:00
Do, 26.01.2023 10:00 - 12:00
Do, 02.02.2023 10:00 - 12:00
Do, 09.02.2023 10:00 - 12:00
Do, 16.02.2023 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)
Do, 03.11.2022 16:00 - 18:00
Do, 10.11.2022 16:00 - 18:00
Do, 17.11.2022 16:00 - 18:00
Do, 24.11.2022 16:00 - 18:00
Do, 01.12.2022 16:00 - 18:00
Do, 08.12.2022 16:00 - 18:00
Do, 15.12.2022 16:00 - 18:00
Do, 22.12.2022 16:00 - 18:00
Do, 29.12.2022 16:00 - 18:00
Do, 05.01.2023 16:00 - 18:00
Do, 12.01.2023 16:00 - 18:00
Do, 19.01.2023 16:00 - 18:00
Do, 26.01.2023 16:00 - 18:00
Do, 02.02.2023 16:00 - 18:00
Do, 09.02.2023 16:00 - 18:00
Do, 16.02.2023 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