Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2022/2023)

Dozent: Prof. Dr. Christoph Meinel (Internet-Technologien und -Systeme) , Katja Assaf (Betriebssysteme und Middleware) , Joseph Bethge (Internet-Technologien und -Systeme) , Jona Otholt (Internet-Technologien und -Systeme)

Allgemeine Information

• Semesterwochenstunden: 4
• ECTS: 6
• Benotet: Ja
• Einschreibefrist: 01.10.2022 - 31.10.2022
• Lehrform: Vorlesung / Übung
• Belegungsart: Pflichtmodul
• Lehrsprache: Deutsch

Studiengänge, Modulgruppen & Module

Beschreibung

In der Veranstaltung werden die grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik vermittelt. Es werden die folgenden drei Themenkomplexe behandelt:

• Grundlagen: Aussagenlogik; Mengen und Mengenoperationen; Mathematisches Beweisen, Relationen und Funktionen
• Techniken: Beweistechniken; vollständige Induktionen; Diskrete Stochastik
• Wichtige diskrete Strukturen: Boolesche Algebren; Graphen und Bäume; Aussagen- und Prädikatenlogik; Endliche Arithmetik

Aktuelle Hinweise:

• Dieses Jahr die Verschiebungen in den ersten zwei Vorlesungswochen beachten (siehe Termine weiter unten).
• Leider gab es bei der ersten Vorlesung technische Schwierigkeiten mit dem Livestream, das Problem sollte jedoch ab der zweiten Vorlesung geklärt sein. Wir bitten stattdessen die entsprechende Aufzeichnung auf https://www.tele-task.de/ anzuschauen, diese ist in der Regel ab ca. 17:00 Uhr am Tag der Vorlesung verfügbar.

Voraussetzungen

Bitte melden Sie sich zu Beginn der Vorlesung im Moodle Kurs an. Dort werden unter anderem:

• die bewerteten Übungen abgegeben
• wichtige organisatorische Hinweise gegeben
• Materialien zur Nacharbeit bereitgestellt
• die Klausurnoten bekannt gegeben
• ein Forum bereitgestellt für Fragen
• Musterlösungen für Aufgaben angeboten

Literatur

Ch. Meinel, M. Mundhenk: "Mathematische Grundlagen der Informatik" (verfügbar als Ebook bei SpringerLink, kostenfrei aus dem Netz des HPI/der Universität Potsdam)

Leistungserfassung

Voraussetzungen für die Teilnahme an den Klausuren ist:

• 50% der maximal erreichbaren Übungspunkte in der ersten Hälfte des Semesters für die Zwischenklausur
• 50% der maximal erreichbaren Übungspunkte in der zweiten Hälfte des Semesters für die Endklausur

Eine Ausnahme von diesen Voraussetzungen kann es nur nach einer mündlichen Rücksprache mit der Übungsleitung geben in der die individuelle Klausureignung besprochen wird.

Klausurtermine werden rechtzeitig bekannt gegeben (siehe unter "Termine").

Beachten Sie, dass zur Prüfung eine Anmeldung erforderlich ist (spätestens 8 Tage vor dem ersten Klausurtermin). Da die Zwischenklausur voraussichtlich am 13.12.2022 stattfindet, sollten Sie sich spätestens bis zum 05.12. über unser Moodle für die Prüfung anmelden, wir geben dann die Anmeldungen an das Studienreferat weiter.

Die Endnote der Mathematik 1 Vorlesung setzt sich aus den Ergebnissen der Klausuren wie folgt zusammen:

• 20% aus der Zwischenklausur
• 80% aus der Endklausur

Termine

Wöchentliche Termine

• Übung, Montags 15:15 Uhr in Hörsaal 1 (Keine Übung am 17.10., siehe unten)
• Vorlesung, Dienstags 9:00 Uhr in Hörsaal 1 (Keine Vorlesung am 18.10., siehe unten)
• Vorlesung, Donnerstags 9:00 Uhr in Hörsaal 1

Achtung, Verschiebungen in den ersten zwei Vorlesungswochen!

• Erste Vorlesungswoche:
  • Keine Übung am Montag um 15:15 Uhr, den 17.10.2022.
  • Keine Vorlesung am Dienstag um 09:00 Uhr, den 18.10.2022.
  • Die erste Vorlesung findet am Donnerstag um 09:00 Uhr, den 20.10.2022, in Hörsaal 1 statt.
• Zweite Vorlesungswoche:
  • Vorlesung statt Übung am Montag um 15:15 Uhr, den 24.10.2022.
  • Übung statt Vorlesung am Dienstag, startet aber erst um 09:15 Uhr, den 25.10.2022.
  • Vorlesung am Donnerstag um 09:00 Uhr, den 27.10.2022, findet regulär statt.

Vorlesung

Die Vorlesung findet in Hörsaal 1 statt und ist per https://www.tele-task.de/ auch als Livestream und Aufzeichnung verfügbar. Die Interaktion beschränkt sich auf die Teilnehmenden im Hörsaal.

Leider gab es bei der ersten Vorlesung technische Schwierigkeiten mit dem Livestream, das Problem sollte jedoch ab der zweiten Vorlesung geklärt sein. Wir bitten stattdessen die entsprechende Aufzeichnung auf https://www.tele-task.de/ anzuschauen, diese ist in der Regel ab ca. 17:00 Uhr am Tag der Vorlesung verfügbar.

Übung

Die Übung findet hybrid in Hörsaal 1 und per Zoom statt, genaue Details werden über das Moodle nach der ersten Vorlesung bekannt gegeben.

Sprechstunden

Termine für Sprechstunden mit den Tutoren werden im Laufe des Semesters individuell über das Moodle vergeben.

Klausurtermine

Beachten Sie, dass zur Prüfung eine Anmeldung erforderlich ist (spätestens 8 Tage vor dem ersten Klausurtermin). Da die Zwischenklausur voraussichtlich am 13.12.22 (im Zeitraum der Vorlesung) stattfindet, sollten Sie sich spätestens bis zum 05.12. über unser Moodle für die Prüfung anmelden, wir geben dann die Anmeldungen an das Studienreferat weiter.

Der genaue Termin wird rechtzeitig bekannt gegeben.

• Zwischenklausur: 13.12.2022
• Endklausur: voraussichtlich im Februar 2023, der genaue Termin wird über das Moodle bekannt gegeben

Zurück