Hasso-Plattner-Institut20 Jahre HPI
Hasso-Plattner-Institut20 Jahre HPI
  
Login
 

Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2018/2019)

Lecturer: Prof. Dr. Christoph Meinel (Internet-Technologien und -Systeme)
Tutors: M.Sc. Christian Tietz Joseph Bethge

General Information

  • Weekly Hours: 4
  • Credits: 6
  • Graded: yes
  • Enrolment Deadline: 26.10.2018
  • 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 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 Klausur am Ende des Semesters sind:

  • Regelmäßige Teilnahme und aktive Mitarbeit in den Übungen
  • Jeweils in der ersten und zweiten Semesterhälfte mindestens 50% der erreichbaren Punkte in den Übungsaufgaben
  • Erfolgreiches Absolvieren der Klausur in der Mitte des Semesters
    Klausurtermin:
    12. Dezember 2018

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

  • 10% Gesamtnote der Übungen (basierend auf allen Übungspunkten)
  • 30% Note der Zwischenklausur
  • 60% Note der Endklausur

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, 16.10.2018 11 Uhr HS1

Übungen

Die Anmeldung zu den Übungsgruppen startet am 18.10.2018

  • Gruppe 1: Montags, 11:00 - 12:30, Raum A-1.1 (CT)
  • Gruppe 2: Montags, 11:00 - 12:30, Raum A-1.2 (JB)
  • Gruppe 3: Montags, 15:15 - 16:45, Raum A-1.1 (CT)
  • Gruppe 4: Montags, 15:15 - 16:45, Raum A-1.2 (JB)

Erste Übung: 22.10.2018

Klausuren

  • Zwischenklausur: 12.12.2018
  • Endklausur: 13.02.2019

Zurück