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

Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2015/2016)

Dozent: Prof. Dr. Christoph Meinel (Internet-Technologien und -Systeme)

Allgemeine Information

  • Semesterwochenstunden: 4
  • ECTS: 6
  • Benotet: Ja
  • Einschreibefrist: 23.10.2015
  • Lehrform: VU
  • Belegungsart: Pflichtmodul

Studiengänge, Modulgruppen & Module

IT-Systems Engineering BA

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

Die Abgabe und Bearbeitung der Übungen wird voraussichtlich ü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.

Literatur

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

Leistungserfassung

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: 
    noch nicht bekannt

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

  • 25% Gesamtnote der Übungen (basierend auf allen Übungspunkten)
  • 25% Note der Zwischenklausur
  • 50% Note der Endklausur

Nach der Abschlussklausur besteht für alle Studenten die Möglichkeit, an einer freiwilligen mündlichen Prüfung teilzunehmen.

Termine

Vorlesung in HS 1

  • Dienstags, 11:00-12:30 Uhr
  • Mittwochs, 11:00-12:30 Uhr

Erste Vorlesung am 13.10.2015 um 11 Uhr.

Übungen

  • Gruppe 1: Montags, 9:15-10:45 Uhr, Raum A-1.2
  • Gruppe 2: Montags, 11.00-12.30 Uhr, Raum A-1.2
  • Gruppe 3: Mittwochs, 15:15-16:45 Uhr, Raum A-1.1
  • Gruppe 4: Mittwochs, 17:00-18:30 Uhr, Raum: A-1.1

Klausuren

  • Zwischenklausur: voraussichtlich 15.12.2015 um 11.00 Uhr (HS 1)
  • Endklausur: noch nicht bekannt

Zurück