| |

ProInformatik I: Logik und Diskrete Mathematik S22
to Whiteboard Site

Description

Inhalte:

    • 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
  • diskrete Wahrscheinlichkeitsverteilungen
  • 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

Zusätzliche Informationen

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!
Basic Course Info
Course No Course Type Hours
19310201 Vorlesung 4
19310202 Übung 2
Time Span 25.07.2022 - 29.08.2022
Instructors
Benjamin Berendsohn
Katharina Klost
Manuel Radons
Study Regulation

ProInformatik I: Logik und Diskrete Mathematik S22
to Whiteboard Site

Main Events
Day Time Location Details
Daily  9-12 T9/SR 005 Übungsraum 2022-08-22 - 2022-08-26
Daily  9-12 T9/Gr. Hörsaal 2022-07-25 - 2022-08-19
Accompanying Events
Day Time Location Details
Mo,Tue,Thu,Fr 13-16 T9/046 Seminarraum Maximilian Glinka
Mo,Tue,Thu,Fr 13-16 T9/049 Seminarraum Adrian-Maurice Alex
Daily 13-16 T9/051 Seminarraum Übung 04
Daily 13-16 A7/SR 031 Übung 03

ProInformatik I: Logik und Diskrete Mathematik S22
to Whiteboard Site

Most Recent Announcement

:  

Currently there are no public announcements for this course.


Older announcements

ProInformatik I: Logik und Diskrete Mathematik S22
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.