Hasso-Plattner-Institut25 Jahre HPI
Hasso-Plattner-Institut25 Jahre HPI
 

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

IT-Systems Engineering BA

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