Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2021/2022)
Dozent:
Prof. Dr. Christoph Meinel
(Internet-Technologien und -Systeme)
,
Joseph Bethge
(Internet-Technologien und -Systeme)
,
Hendrik Rätz
(Data Analytics and Computational Statistics)
Allgemeine Information
- Semesterwochenstunden: 4
- ECTS: 6
- Benotet:
Ja
- Einschreibefrist: 01.10.2021 - 22.10.2021
- Lehrform: Vorlesung / Übung
- Belegungsart: Pflichtmodul
- Lehrsprache: Deutsch
Studiengänge, Modulgruppen & Module
- Mathematische und theoretische Grundlagen
- HPI-MA1 Logik und Diskrete Strukturen
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
Voraussetzungen
Bitte melden Sie sich zu Beginn der Vorlesung im Moodle Kurs an. Dort werden unter anderem:
- wichtige organisatorische Hinweise gegeben
- Materialien zur Nacharbeit bereitgestellt
- die bewerteten Übungen abgegeben
- 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:
- Jeweils mindestens 50% der erreichbaren Punkte in jedem Übungsblatt.
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 14.12.21 stattfindet, sollten Sie sich spätestens bis zum 06.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:
- 33% aus der Zwischenklausur
- 66% aus der Endklausur
Termine
Vorlesung in HS 1
Erste Vorlesung am Dienstag, den 26.10., um 9:00 Uhr in Hörsaal 1. Die Vorlesung wird per https://www.tele-task.de/ aufgezeichnet (und voraussichtlich auch per Livestream verfügbar), aber die Interaktion beschränkt sich auf die Teilnehmenden im Hörsaal.
Übung und Tutorium
Die Veranstaltung wird vor Ort von einem Übungstermin und einem Tutorium begleitet (ab der zweiten Vorlesungswoche, also am 1. November):
- Der Übungstermin (Montags 13:30 Uhr, H-E.51/52 & H-2.57/58) dient zur aktiven Nacharbeit mithilfe der im Moodle bereitgestellten Materialien und zur Interaktion zwischen Kommiliton:innen
- Das Tutorium (Montags 17:00 Uhr, Hörsaal 1) ist die Gelegenheit aufkommende Fragen zu allen Themen aus Vorlesung, Nacharbeit, und Übung zu stellen und im Detail zu klären (voraussichtlich werden wir einen Stream mit Fragemöglichkeit anbieten, der Link dazu wird im Moodle bekanntgegeben)
Weitere Informationen zum Ablauf und Inhalt der beiden Termine, sind zu gegebener Zeit im Moodle verfügbar.
Klausuren
Beachten Sie, dass zur Prüfung eine Anmeldung erforderlich ist (spätestens 8 Tage vor dem ersten Klausurtermin). Da die Zwischenklausur voraussichtlich am 14.12.21 stattfindet, sollten Sie sich spätestens bis zum 06.12. über unser Moodle für die Prüfung anmelden, wir geben dann die Anmeldungen an das Studienreferat weiter.
- Zwischenklausur: voraussichtlich 14.12.2021
- Endklausur: voraussichtlich in der Woche vom 21.02.22 bis 25.02.22
Zurück