Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2019/2020)
Lecturer:
Prof. Dr. Christoph Meinel
(Internet-Technologien und -Systeme)
,
Joseph Bethge
(Internet-Technologien und -Systeme)
,
M.Sc. Christian Tietz
(Internet-Technologien und -Systeme)
General Information
- Weekly Hours: 4
- Credits: 6
- Graded:
yes
- Enrolment Deadline: 01.10.-30.10.2019
- Teaching Form: Lecture / Exercise
- Enrolment Type: Compulsory Module
- Course Language: German
Programs, Module Groups & Modules
- Mathematische und theoretische Grundlagen
- HPI-MA1 Logik und Diskrete Strukturen
Description
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
Requirements
Die Abgabe und Bearbeitung der Übungen wird über das Moodle-System: https://fb10moodle.hpi.uni-potsdam.de/ erfolgen. Bitte meldet euch zu Beginn der Vorlesung dort an. Das System wird ebenfalls zur Vergabe der Übungstermine verwendet. Das Moodle kann nur über das HPI-Netz (vorher unter https://byod.hpi.de/ registrieren) oder VPN erreicht werden.
Literature
Ch. Meinel, M. Mundhenk: "Mathematische Grundlagen der Informatik
Examination
Voraussetzungen für die Teilnahme an der Zwischenklausur sind:
- Jeweils mindestens 50% der erreichbaren Punkte in jedem Übungsblatt bis zur Mitte des Semesters. In einem der Übungsblätter müssen die 50% nicht erreicht werden.
Voraussetzungen für die Teilnahme an der Klausur am Ende des Semesters sind:
- Regelmäßige Teilnahme und aktive Mitarbeit in den Übungen
- Jeweils mindestens 50% der erreichbaren Punkte in jedem Übungsblatt. In zwei Übungsblättern müssen die 50% nicht erreicht werden.
- Klausurtermin: 11. Dezember 2019
Die Endnote der Mathematik 1 Vorlesung setzt sich wie folgt zusammen:
- 33,3% Note der Zwischenklausur
- 66,6% Note der Endklausur
Die Veranstaltung ist bestanden, wenn sowohl die Zwischenklausur als auch die Endklausur mindestens mit der Note 4,0 absolviert werden. Wenn die Zwischenklausur nicht bestanden wurde (5,0), muss in der Endklausur mindestens eine 3,3 erreicht werden um die Veranstaltung zu bestehen.
Nach der Abschlussklausur besteht für alle Studenten die Möglichkeit, an einer freiwilligen mündlichen Prüfung teilzunehmen.
Dates
Vorlesungen in HS 1
Erste Vorlesung: Dienstag, 15.10.2019 11 Uhr HS1
Übungen
Erste Übung: 16.10.2019 15:15 Uhr für alle - Information und Organisation der Gruppen
Alle folgenden Termine in Gruppen (ab 23./24.10.2019):
- Gruppe 1: Mi, 15:15 Uhr, A-1.1 (CT)
- Gruppe 2: Mi, 15:15 Uhr, A-2.2 (JB)
- Gruppe 3: Do, 09:15 Uhr, A-2.1 (CT)
- Gruppe 4: Do, 09:15 Uhr, A-2.2 (JB)
- Gruppe 5: Fr, 09:15 Uhr, A-1.2 (CT)
Klausuren
- Zwischenklausur: 11.12.2019
- Endklausur: voraussichtlich 12.02.2020
Zurück