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

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

General Information

• Weekly Hours: 4
• Credits: 6
• Graded: yes
• Enrolment Deadline: 28.10.2016
• Teaching Form: VU
• Enrolment Type: Compulsory Module

Programs, Module Groups & Modules

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 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: 14.12.2016 11 Uhr

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

• 20% Gesamtnote der Übungen (basierend auf allen Übungspunkten)
• 30% 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.

Dates

Vorlesung in HS 1

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

Erste Vorlesung: Di, 18.10.2016 11 Uhr im Hörsaal 1

Übungen

Die Anmeldung zu den Übungsgruppen startet am Do, 20.10.2016 um 9:15 Uhr.

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

Erste Übung: Mo, 24.10.2016 bzw. Mi, 26.10.2016

Klausuren

• Zwischenklausur: 14.12.2016 11 Uhr
• Endklausur: 13.02.2017 10 Uhr

Zurück