19310201 Vorlesung

SoSe 24: ProInformatik I: Diskrete Strukturen in der Informatik

Benjamin Berendsohn, Katharina Klost

Zusätzl. Angaben / Voraussetzungen

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

Kommentar

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
Schließen

Literaturhinweise

  • 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
Schließen

48 Termine

Zusätzliche Termine

Mo, 19.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Räume:
T9/SR 005 Übungsraum (Takustr. 9)

Fr, 23.08.2024 09:00 - 12:00
Klausur

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 27.08.2024 10:00 - 11:00
Klausureinsicht

Dozenten:
Benjamin Berendsohn

Räume:
T9/SR 005 Übungsraum (Takustr. 9)

Regelmäßige Termine der Lehrveranstaltung

Mo, 22.07.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 23.07.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 24.07.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 25.07.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Fr, 26.07.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 29.07.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 30.07.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 31.07.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 01.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Fr, 02.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 05.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 06.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 07.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 08.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Fr, 09.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 12.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 13.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 14.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 15.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Fr, 16.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 19.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 20.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 21.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 22.08.2024 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 22.07.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 23.07.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 24.07.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 25.07.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Fr, 26.07.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 29.07.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 30.07.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 31.07.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 01.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Fr, 02.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 05.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 06.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 07.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 08.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Fr, 09.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 12.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 13.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 14.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 15.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Fr, 16.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 19.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Di, 20.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 21.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 22.08.2024 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik

Dozenten:
Katharina Klost
Benjamin Berendsohn

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Studienfächer A-Z