19300901
Lecture
WiSe 16/17: Logik und Diskrete Mathematik
Klaus Kriegel
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
Kenneth H. ... read more
32 Class schedule
Additional appointments
Mon, 2017-02-20 12:00 - 15:00Klausur
Zusatztutorium
Nachklausur
Regular appointments
Tue, 2016-10-18 08:00 - 10:00
Tue, 2016-10-25 08:00 - 10:00
Tue, 2016-11-01 08:00 - 10:00
Tue, 2016-11-08 08:00 - 10:00
Tue, 2016-11-15 08:00 - 10:00
Tue, 2016-11-22 08:00 - 10:00
Tue, 2016-11-29 08:00 - 10:00
Tue, 2016-12-06 08:00 - 10:00
Tue, 2016-12-13 08:00 - 10:00
Tue, 2017-01-03 08:00 - 10:00
Tue, 2017-01-10 08:00 - 10:00
Tue, 2017-01-17 08:00 - 10:00
Tue, 2017-01-24 08:00 - 10:00
Tue, 2017-01-31 08:00 - 10:00
Tue, 2017-02-07 08:00 - 10:00
Tue, 2017-02-14 08:00 - 10:00
Thu, 2016-10-20 10:00 - 12:00
Thu, 2016-10-27 10:00 - 12:00
Thu, 2016-11-03 10:00 - 12:00
Thu, 2016-11-10 10:00 - 12:00
Thu, 2016-11-17 10:00 - 12:00
Thu, 2016-11-24 10:00 - 12:00
Thu, 2016-12-01 10:00 - 12:00
Thu, 2016-12-08 10:00 - 12:00
Thu, 2016-12-15 10:00 - 12:00
Thu, 2017-01-05 10:00 - 12:00
Thu, 2017-01-12 10:00 - 12:00
Thu, 2017-01-19 10:00 - 12:00
Thu, 2017-01-26 10:00 - 12:00
Thu, 2017-02-02 10:00 - 12:00
Thu, 2017-02-09 10:00 - 12:00
Thu, 2017-02-16 10:00 - 12:00