19300901
Vorlesung
WiSe 16/17: Logik und Diskrete Mathematik
Klaus Kriegel
Kommentar
Aussagenlogik und mathematische Beweistechniken
Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
Mengenlehre: Mengen, Relationen, Äquivalenz- und ... 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
Kenneth H. ... Lesen Sie weiter
32 Termine
Zusätzliche Termine
Mo, 20.02.2017 12:00 - 15:00Klausur
Zusatztutorium
Nachklausur
Regelmäßige Termine der Lehrveranstaltung
Di, 18.10.2016 08:00 - 10:00
Di, 25.10.2016 08:00 - 10:00
Di, 01.11.2016 08:00 - 10:00
Di, 08.11.2016 08:00 - 10:00
Di, 15.11.2016 08:00 - 10:00
Di, 22.11.2016 08:00 - 10:00
Di, 29.11.2016 08:00 - 10:00
Di, 06.12.2016 08:00 - 10:00
Di, 13.12.2016 08:00 - 10:00
Di, 03.01.2017 08:00 - 10:00
Di, 10.01.2017 08:00 - 10:00
Di, 17.01.2017 08:00 - 10:00
Di, 24.01.2017 08:00 - 10:00
Di, 31.01.2017 08:00 - 10:00
Di, 07.02.2017 08:00 - 10:00
Di, 14.02.2017 08:00 - 10:00
Do, 20.10.2016 10:00 - 12:00
Do, 27.10.2016 10:00 - 12:00
Do, 03.11.2016 10:00 - 12:00
Do, 10.11.2016 10:00 - 12:00
Do, 17.11.2016 10:00 - 12:00
Do, 24.11.2016 10:00 - 12:00
Do, 01.12.2016 10:00 - 12:00
Do, 08.12.2016 10:00 - 12:00
Do, 15.12.2016 10:00 - 12:00
Do, 05.01.2017 10:00 - 12:00
Do, 12.01.2017 10:00 - 12:00
Do, 19.01.2017 10:00 - 12:00
Do, 26.01.2017 10:00 - 12:00
Do, 02.02.2017 10:00 - 12:00
Do, 09.02.2017 10:00 - 12:00
Do, 16.02.2017 10:00 - 12:00