Hasso-Plattner-InstitutSDG am HPI
Hasso-Plattner-InstitutDSG am HPI
  
Login
 

Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2020/2021)

Lecturer: Prof. Dr. Christoph Meinel (Internet-Technologien und -Systeme) , Joseph Bethge (Internet-Technologien und -Systeme) , M.Sc. Eric Klieme (Internet-Technologien und -Systeme)

General Information

  • Weekly Hours: 4
  • Credits: 6
  • Graded: yes
  • Enrolment Deadline: 01.10.-20.11.2019
  • Teaching Form: Lecture / Exercise
  • Enrolment Type: Compulsory Module
  • Course Language: German

Programs & Modules

IT-Systems Engineering BA
  • Mathematik I

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 und wichtige Benachrichtigungen werden über das Moodle-System der Uni Potsdam erfolgen: Link zum Moodle Kurs. Bitte melden Sie sich zu Beginn der Vorlesung dort an. Das System wird ebenfalls zur Vergabe der Übungstermine verwendet.

Literature

Ch. Meinel, M. Mundhenk: "Mathematische Grundlagen der Informatik

Examination

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").

Die Endnote der Mathematik 1 Vorlesung setzt sich wie folgt zusammen:

  • 20% Note der Zwischenklausur
  • 80% 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,7 erreicht werden um die Veranstaltung zu bestehen.

Dates

Vorlesungen in HS 1/3 (und per Stream)

Erste Vorlesung am 3. November 2020, um 11 Uhr. Der Link zum Stream wird im Moodle bekanntgegeben. Wenn Hörsaal 1 voll ist, wird die Vorlesung auch in Hörsaal 3 gestreamt.

Übungen

Vor der ersten Übung bitte im Moodle registrieren und unbedingt die dortigen Informationen (und Raumänderungen) beachten. Die Wahl der Übungsgruppe wird ebenfalls im Moodle gemacht.
Die ersten Termine in den Übungsgruppen finden in der Woche vom 9. November statt, voraussichtlich in folgenden Räumen und zu folgenden Zeiten:

  • Gruppe 1: Mo, 15:15 Uhr, HS 2 (EK) - 24
  • Gruppe 2: Mo, 15:15 Uhr, HS 3 (JB) - 24
  • Gruppe 3: Di, 13:30 Uhr, HS 2 (EK) - 24
  • Gruppe 4: Di, 13:30 Uhr, HS 1 (JB) - 51
  • Gruppe 5: Do, 15:15 Uhr, Online per BigBlueButton (weitere Informationen zu gegebener Zeit im Moodle) - 24+

Klausuren

  • Zwischenklausur: voraussichtlich 16. Dezember 2020, 11 Uhr
  • Endklausur:  voraussichtlich 17. Februar 2021, 10 Uhr

Zurück