| |

Logik und Diskrete Mathematik W19/20
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 15.10.2019 - 12.08.2020
Instructors
Frank Hoffmann
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 W19/20
to Whiteboard Site

Main Events
Day Time Location Details
Tuesday 10-12 T9/Gr. Hörsaal 2019-10-15 - 2020-02-11
Thursday 10-12 T9/Gr. Hörsaal 2019-10-17 - 2020-02-13
Accompanying Events
Day Time Location Details
Monday  8-10 T9/053 Seminarraum Übung 06
Monday 12-14 T9/051 Seminarraum Jan Heydebreck
Monday 12-14 T9/053 Seminarraum Übung 08
Monday 16-18 T9/051 Seminarraum Leonhard Andrea Löffler-Dauth
Monday 16-18 T9/053 Seminarraum Übung 02
Wednesday  8-10 T9/053 Seminarraum Übung 05
Wednesday 12-14 T9/051 Seminarraum Leonhard Andrea Löffler-Dauth
Friday  8-10 T9/051 Seminarraum Halit Dur
Friday 10-12 T9/051 Seminarraum Jan Heydebreck
Friday 10-12 T9/SR 006 Seminarraum Halit Dur
Sunday ? - ? Pseudotutorium zur Kapazitätsplanung - potentielle Übungsteilnehmer melden sich bitte hier an!

Logik und Diskrete Mathematik W19/20
to Whiteboard Site

Most Recent Announcement

:  

Currently there are no public announcements for this course.


Older announcements

Logik und Diskrete Mathematik W19/20
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.