19310201
Lecture
SoSe 15: ProInformatik I: Logik und Diskrete Mathematik
Paul Seiferth
Additional information / Pre-requisites
Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!
Comments
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 ... read more
20 Class schedule
Additional appointments
Thu, 2015-06-18 12:00 - 14:00Registrierung ProInformatik I
Nachklausur
Regular appointments
Mon, 2015-06-22 09:00 - 12:00
Tue, 2015-06-23 09:00 - 12:00
Wed, 2015-06-24 09:00 - 12:00
Thu, 2015-06-25 09:00 - 12:00
Fri, 2015-06-26 09:00 - 12:00
Mon, 2015-06-29 09:00 - 12:00
Tue, 2015-06-30 09:00 - 12:00
Wed, 2015-07-01 09:00 - 12:00
Thu, 2015-07-02 09:00 - 12:00
Fri, 2015-07-03 09:00 - 12:00
Mon, 2015-07-06 09:00 - 12:00
Tue, 2015-07-07 10:00 - 11:00
Wed, 2015-07-08 09:00 - 12:00
Thu, 2015-07-09 09:00 - 12:00
Fri, 2015-07-10 09:00 - 12:00
Mon, 2015-07-13 09:00 - 12:00
Tue, 2015-07-14 09:00 - 12:00
Wed, 2015-07-15 09:00 - 12:00
Thu, 2015-07-16 09:00 - 12:00
Fri, 2015-07-17 09:00 - 12:00
Inhalte:
- Aussagenlogik und mathematische Beweistechniken Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül Mengenlehre: Mengen, ... read more