| |

Logik und Diskrete Mathematik W18/19
to Whiteboard Site

Description
  • Aussagenlogik und mathematische Beweistechniken
  • Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
  • Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
  • Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
  • Prädikatenlogik und mathematische Strukturen
  • Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
  • Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume

Literatur

  • 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. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
  • M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004
Basic Course Info
Course No Course Type Hours
19300901 Vorlesung 4
19300902 Übung 2
Time Span 16.10.2018 - 10.04.2019
Instructors
Boris Klemz
Klaus Kriegel
Study Regulation
0086c_k150 2014, BSc Informatik (Mono), 150 LPs
0086d_k135 2014, BSc Informatik (Mono), 135 LPs
0087b_k90 2009, BSc Informatik (Kombi), 90 LPs
0087d_k90 2015, BSc Informatik (Kombi), 90 LPs
0088b_m60 2006, BSc Informatik (Kombi), 60 LPs
0088d_m60 2015, MSc Informatik (Kombi), 60 LPs
0132b_m30 2006, BSc Informatik (Kombi), 30 LPs
0521a_m25 2018, Modulangebot Schwerpunktstudium Natur, 25 LPs
0525a_m10 2017, BSc Geist und Kultur (Mono), 10 LPs

Logik und Diskrete Mathematik W18/19
to Whiteboard Site

Main Events
Day Time Location Details
Tuesday 10-12 T9/Gr. Hörsaal 2018-10-16 - 2019-02-12
Thursday 10-12 T9/Gr. Hörsaal 2018-10-18 - 2019-02-14
Accompanying Events
Day Time Location Details
Monday 12-14 T9/053 Seminarraum Übung 12 entfällt
Monday 14-16 A7/SR 031 Übung 11 entfällt
Tuesday  8-10 T9/SR 005 Übungsraum Dennis Chemnitz
Wednesday 12-14 T9/046 Seminarraum Xiangying Chen
Wednesday 12-14 T9/051 Seminarraum Leonhard Andrea Löffler-Dauth
Wednesday 14-16 T9/046 Seminarraum Xiangying Chen
Thursday  8-10 T9/SR 005 Übungsraum Dennis Chemnitz
Friday 10-12 T9/055 Seminarraum Übung 06
Friday 14-16 A7/SR 031 Übung 07
Friday 14-16 A6/SR 031 Seminarraum Leonhard Andrea Löffler-Dauth
Sunday ? - ? Pseudotutorium zur Kapazitätsplanung - potentielle Übungsteilnehmer melden sich bitte hier an!

Logik und Diskrete Mathematik W18/19
to Whiteboard Site

Most Recent Announcement

:  

Currently there are no public announcements for this course.


Older announcements

Logik und Diskrete Mathematik W18/19
to Whiteboard Site

Currently there are no resources for this course available.
Or at least none which you're allowed to see with your current set of permissions.
Maybe you have to log in first.