| |

Logik und Diskrete Mathematik W20/21
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 02.11.2020 - 09.04.2021
Instructors
Wolfgang Mulzer
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 W20/21
to Whiteboard Site

Main Events
Day Time Location Details
Monday  8-10 Online 2020-11-02 - 2021-02-22
Wednesday  8-10 Online 2020-11-04 - 2021-02-24
Accompanying Events
Day Time Location Details
Monday 12-14 T9/SR 006 Seminarraum Stephanie Riedmüller
Monday 12-14 T9/SR 005 Übungsraum Stephanie Riedmüller
Monday 14-16 T9/049 Seminarraum Julius Konrad Clausnitzer
Monday 14-16 T9/046 Seminarraum Julius Konrad Clausnitzer
Tuesday 12-14 T9/049 Seminarraum Maximilian Glinka
Tuesday 12-14 T9/046 Seminarraum Maximilian Glinka
Tuesday 14-16 T9/051 Seminarraum Übung 07
Tuesday 14-16 T9/053 Seminarraum Übung 08
Tuesday 16-18 T9/SR 006 Seminarraum Robin Niclas Hofmann
Tuesday 16-18 T9/SR 005 Übungsraum Robin Niclas Hofmann
Wednesday 12-14 T9/049 Seminarraum Maximilian Glinka
Wednesday 12-14 T9/046 Seminarraum Maximilian Glinka
Wednesday 16-18 T9/046 Seminarraum Maximilian Glinka
Wednesday 16-18 T9/049 Seminarraum Maximilian Glinka
Thursday 16-18 T9/049 Seminarraum Robin Niclas Hofmann
Thursday 16-18 T9/046 Seminarraum Robin Niclas Hofmann
Friday 12-14 T9/046 Seminarraum Julius Konrad Clausnitzer
Friday 12-14 T9/049 Seminarraum Julius Konrad Clausnitzer
Friday 14-16 T9/049 Seminarraum Stephanie Riedmüller
Friday 14-16 T9/046 Seminarraum Stephanie Riedmüller

Logik und Diskrete Mathematik W20/21
to Whiteboard Site

Most Recent Announcement

:  

Currently there are no public announcements for this course.


Older announcements

Logik und Diskrete Mathematik W20/21
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.