19300901
Vorlesung
WiSe 15/16: Logik und Diskrete Mathematik
Frank Hoffmann
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
Di, 16.02.2016 11:00 - 14:00Klausur
Nachklausur
Regelmäßige Termine der Lehrveranstaltung
Di, 13.10.2015 08:00 - 10:00
Di, 20.10.2015 08:00 - 10:00
Di, 27.10.2015 08:00 - 10:00
Di, 03.11.2015 08:00 - 10:00
Di, 10.11.2015 08:00 - 10:00
Di, 17.11.2015 08:00 - 10:00
Di, 24.11.2015 08:00 - 10:00
Di, 01.12.2015 08:00 - 10:00
Di, 08.12.2015 08:00 - 10:00
Di, 15.12.2015 08:00 - 10:00
Di, 05.01.2016 08:00 - 10:00
Di, 12.01.2016 08:00 - 10:00
Di, 19.01.2016 08:00 - 10:00
Di, 26.01.2016 08:00 - 10:00
Di, 02.02.2016 08:00 - 10:00
Di, 09.02.2016 08:00 - 10:00
Do, 15.10.2015 10:00 - 12:00
Do, 22.10.2015 10:00 - 12:00
Do, 29.10.2015 10:00 - 12:00
Do, 05.11.2015 10:00 - 12:00
Do, 12.11.2015 10:00 - 12:00
Do, 19.11.2015 10:00 - 12:00
Do, 26.11.2015 10:00 - 12:00
Do, 03.12.2015 10:00 - 12:00
Do, 10.12.2015 10:00 - 12:00
Do, 17.12.2015 10:00 - 12:00
Do, 07.01.2016 10:00 - 12:00
Do, 14.01.2016 10:00 - 12:00
Do, 21.01.2016 10:00 - 12:00
Do, 28.01.2016 10:00 - 12:00
Do, 04.02.2016 10:00 - 12:00
Do, 11.02.2016 10:00 - 12:00