Hasso-Plattner-Institut
Hasso-Plattner-Institut
  
Login
  • de
 

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

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

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 von dem "FG Meinel Course Management System" unterstützt. Bitte meldet euch zu Beginn der Vorlesung dort an. Das System wird ebenfalls zur Vergabe der Übungstermine verwendet.

  • Course Management System http://fb10lehre/
  • nur aus dem internen Netz oder per VPN erreichbar

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 15.10.2014 um 11 Uhr.

Die nächsten Vorlesungstermine sind:

  • 22.10. um 11 Uhr
  • 22.10. um 15.15 Uhr (Ersatz)
  • 29.10. um 11 Uhr
  • 30.10. um 13.30 Uhr (Ersatz)
  • 10.11. um 11 Uhr (Ersatz)
  • 17.11. um 11 Uhr (Ersatz)
  • 18.11. um 11 Uhr
  • 19.11. um 11 Uhr
  • 25.11. um 11 Uhr
  • 26.11. um 11 Uhr
  • 02.12. um 11 Uhr
  • 09.12. um 11 Uhr
  • 10.12. um 11 Uhr
  • 11.12. um 15 Uhr (Ersatz)
  • 16.12. um 11 Uhr
  • 17.12. um 11 Uhr
  • 05.01. um 11 Uhr (Ersatz)
  • 06.01. um 11 Uhr
  • 07.01. um 11 Uhr
  • 20.01. um 11 Uhr
  • 21.01. um 11 Uhr
  • 27.01. um 11 Uhr
  • 28.01. um 11 Uhr
  • 03.02. um 11 Uhr
  • 04.02. 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: 16.12.2014 um 11.00 Uhr (HS 1)
  • Endklausur: 09.02.2015 um 10 Uhr (HS 1 -3)

Allgemeine Information

  • Semesterwochenstunden : 4
  • ECTS : 6
  • Benotet : Ja
  • Einschreibefrist : 24.10.2014
  • Programm : IT-Systems Engineering BA
  • Lehrform : VU
  • Belegungsart : Pflicht

Module

  • Mathematik I

Zurück