19300901 Vorlesung

Diskrete Strukturen für Informatik

Katharina Klost

Kommentar

Qualifikationsziele

Die Studierenden formulieren3 Aussagen formal aussagenlogisch und prädikatenlogisch. Sie analysieren4 und vereinfachen3 die logische Struktur gegebener Aussagen und beschreiben4 die logische Struktur von Beweisen. Sie benennen Eigenschaften unterschiedlicher Mengen, Relationen und Funktionen und begründen4 diese mit Hilfe formaler Argumente. Sie können Beweise für elementare Aussagen unter Verwendung elementarer Beweistechniken entwickeln5 und die Mächtigkeit von Mengen mit Hilfe kombinatorischer Techniken sowie Wahrscheinlichkeiten von Zufallsereignissen bestimmen3. Sie sind in der Lage, Fragestellungen der (Bio-)Informatik mit Hilfe der Graphentheorie und der diskreten Wahrscheinlichkeitstheorie zu modellieren.3. Die Studierenden benennen Eigenschaften unterschiedlicher Graphen und begründen4 diese mit Hilfe formaler Argumente.

Inhalte

Studierende erlernen grundlegende Konzepte der Mengenlehre, Logik, Booleschen Algebra, Kombinatorik und Graphentheorie und üben deren Anwendung. Sie erarbeiten sich in der Mengenlehre Mengen, Relationen, Äquivalenz- und Ordnungsrelationen und Funktionen. Im Bereich der Logik und Booleschen Algebra erarbeiten sie sich Aspekte der Aussagenlogik, Prädikatenlogik, Erfüllbarkeitstests, sowie Boolesche Funktionen und Normalformen. Im Themenfeld Kombinatorik erlernen und diskutieren sie das Schubfachprinzip, Rekursion, Abzählprinzipien, Fakultät und Binomialkoeffizienten. Im Themenfeld Graphentheorie erarbeiten sie Repräsentationsformen, Wege, Kreise und Bäume. Zuletzt erarbeiten sie sich verschiedene Beweistechniken und grundlegende Aspekte Diskreter Wahrscheinlichkeitstheorie. Die meisten dieser Konzepte werden an Rechen- oder Beweisaufgaben geübt.

Schließen

32 Termine

Zusätzliche Termine

Di, 18.02.2025 14:00 - 16:00
Klausur

Dozenten:
Katharina Klost

Räume:
Hs 1a Hörsaal (Habelschwerdter Allee 45)
Hs 1b Hörsaal (Habelschwerdter Allee 45)
Hs 2 Hörsaal (Habelschwerdter Allee 45)

Di, 01.04.2025 14:00 - 16:00
Nachklausur

Dozenten:
Katharina Klost

Räume:
Hs 1a Hörsaal (Habelschwerdter Allee 45)
Hs 1b Hörsaal (Habelschwerdter Allee 45)

Regelmäßige Termine der Lehrveranstaltung

Di, 15.10.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
HFB/D Hörsaal (Garystr. 35-37)

Di, 22.10.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
HFB/D Hörsaal (Garystr. 35-37)

Di, 29.10.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
HFB/D Hörsaal (Garystr. 35-37)

Di, 05.11.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 12.11.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 19.11.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 26.11.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 03.12.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 10.12.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 17.12.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 07.01.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 14.01.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 21.01.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 28.01.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 04.02.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Di, 11.02.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 17.10.2024 14:00 - 16:00

Dozenten:
Katharina Klost

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

Do, 24.10.2024 14:00 - 16:00

Dozenten:
Katharina Klost

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

Do, 31.10.2024 14:00 - 16:00

Dozenten:
Katharina Klost

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

Do, 07.11.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 14.11.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 21.11.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 28.11.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 05.12.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 12.12.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 19.12.2024 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 09.01.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 16.01.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 23.01.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 30.01.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 06.02.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Do, 13.02.2025 14:00 - 16:00

Dozenten:
Katharina Klost

Räume:
Elisabeth-Schiemann-Hörsaal (R 014) (Königin-Luise-Str. 12 / 16)

Studienfächer A-Z