19310201 Vorlesung

SoSe 22: ProInformatik I: Logik und Diskrete Mathematik

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

25 Termine

Zusätzliche Termine

Fr, 26.08.2022 09:00 - 12:00
Klausur

Dozenten:
Katharina Klost

Räume:
Gr. Hörsaal (Raum B.001) (Arnimallee 22)

Mo, 29.08.2022 09:00 - 10:00
Klausureinsicht ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

Räume:
T9/055 Seminarraum (Takustr. 9)

Regelmäßige Termine der Lehrveranstaltung

Mo, 25.07.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Di, 26.07.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

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

Mi, 27.07.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Do, 28.07.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Fr, 29.07.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Mo, 01.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Di, 02.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Mi, 03.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Do, 04.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Fr, 05.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Mo, 08.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Di, 09.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Mi, 10.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Do, 11.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Fr, 12.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Mo, 15.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Di, 16.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Mi, 17.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Do, 18.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Fr, 19.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Mo, 22.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Di, 23.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Mi, 24.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Do, 25.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Fr, 26.08.2022 09:00 - 12:00
ProInformatik I: Logik und Diskrete Mathematik

Dozenten:
Katharina Klost

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

Studienfächer A-Z