ProInformatik I: Diskrete Strukturen in der Informatik S24
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!

Die Vorlesung findet Mo,Di,Do,Fr von 9-10:30 und 14-15:30 statt. Das Tutorium wurde verschoben zu 10:45-12:45. Die Zuordnung zum Tutorium kann unter 'Section Info' eingesehen werden.

 

Das Team

                             Name                                       Sprechstunde                       Email
Dozenten: Alexandra Wesolek Mittwochs 10-11 wesolek@tu-berlin.de
  Benjamin Berendsohn   beab@zedat.fu-berlin.de
Basic Course Info

Course No Course Type Hours
19310201 Vorlesung 4
19310202 Übung 2

Time Span 22.07.2024 - 27.08.2024
Instructors
Benjamin Berendsohn
Katharina Klost

Study Regulation


ProInformatik I: Diskrete Strukturen in der Informatik S24
to Whiteboard Site

Main Events

Day Time Location Details
Daily  9-10:30 T9/Gr. Hörsaal 2024-07-22 - 2024-08-22
Daily 14-15:30 T9/Gr. Hörsaal 2024-07-22 - 2024-08-22

Accompanying Events

Day Time Location Details
Daily 13-16 T9/051 Seminarraum Alen Saric
Daily 13-16 T9/049 Seminarraum Maximilian Glinka

ProInformatik I: Diskrete Strukturen in der Informatik S24
to Whiteboard Site

Most Recent Announcement

:  

Currently there are no public announcements for this course.


Older announcements

ProInformatik I: Diskrete Strukturen in der Informatik S24
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.