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:00
Zentralübung
Fr, 24.02.2023 10:00 - 13:00
Klausur
Fr, 03.03.2023 12:00 - 14:00
Klausureinsicht
Di, 14.03.2023 16:00 - 18:00
Klausureinsicht
Di, 04.04.2023 14:00 - 16:30
Nachklausur
Di, 04.04.2023 14:00 - 16:30
Nachklausur
Di, 04.04.2023 14:00 - 16:30
Klausur

Regelmäßige Termine der Lehrveranstaltung

Di, 18.10.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 25.10.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 01.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 08.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 15.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 22.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 29.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 06.12.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 13.12.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 03.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 10.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 17.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 24.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 31.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 07.02.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Di, 14.02.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)
Do, 20.10.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 27.10.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 03.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 10.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 17.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 24.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 01.12.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 08.12.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 15.12.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 05.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 12.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 19.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 26.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 02.02.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 09.02.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 16.02.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)
Do, 03.11.2022 16:00 - 18:00
Zentralübung
Do, 10.11.2022 16:00 - 18:00
Zentralübung
Do, 17.11.2022 16:00 - 18:00
Zentralübung
Do, 24.11.2022 16:00 - 18:00
Zentralübung
Do, 01.12.2022 16:00 - 18:00
Zentralübung
Do, 08.12.2022 16:00 - 18:00
Zentralübung
Do, 15.12.2022 16:00 - 18:00
Zentralübung
Do, 22.12.2022 16:00 - 18:00
Zentralübung
Do, 29.12.2022 16:00 - 18:00
Zentralübung
Do, 05.01.2023 16:00 - 18:00
Zentralübung
Do, 12.01.2023 16:00 - 18:00
Zentralübung
Do, 19.01.2023 16:00 - 18:00
Zentralübung
Do, 26.01.2023 16:00 - 18:00
Zentralübung
Do, 02.02.2023 16:00 - 18:00
Zentralübung
Do, 09.02.2023 16:00 - 18:00
Zentralübung
Do, 16.02.2023 16:00 - 18:00
Zentralübung

Studienfächer A-Z