Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2004/2005)

Dozent: Prof. Dr. Christoph Meinel (Internet-Technologien und -Systeme)
Website zum Kurs: http://www.hpi.uni-potsdam.de/intern.new/aktuell/lv/Diskrete_Strukturen_und_Logik_WS0405/dsl-04-05-uebung.html

Allgemeine Information

• Semesterwochenstunden: 4
• ECTS: 6
• Benotet: Ja
• Einschreibefrist: 01.01.1970
• Lehrform:
• Belegungsart: Wahlpflichtmodul

Studiengänge

• IT-Systems Engineering BA

Beschreibung

Die Grundstudiumsvorlesung "Mathematik I - Diskrete Strukturen und Logik" führt ein in die für das Informatik- und Softwaresystemtechnikstudium im Hauptfach bzw. im Nebenfach grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik. Die Vorlesung ist in die drei Komplexe "Grundlagen", "Techniken" und "Diskrete Strukturen" gegliedert und behandelt folgende Themenkomplexe:

• 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;

Literatur

Ch. Meinel, M. Mundhenk:

"Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen",

B.G.Teubner Verlag, Stuttgart, Leipzig, 2002

Leistungserfassung

Die Leistungserfassung setzt sich zusammen aus

einer 60min-Klausur (nach der Hälfte des Semesters)und der erfolgreichen Teilnahme an der Übung und

einer mündlichen Prüfung (in Dreiergruppen).

Voraussetzung für die Zulassung zur Zwischenklausur:

mindestens 50% der maximal möglichen Übungsaufgabenpunkte in der ersten

Hälfte des Semesters.

Voraussetzung für die Zulassung zur mündlichen Prüfung:

mindestens 50% der maximal möglichen Übungsaufgabenpunkte in der zweiten

Hälfte des Semesters und eine bestandene Zwischenklausur.

Termine

• 2 Vorlesungen und 1 Übung pro Woche
• wöchentlich Übungsaufgaben
• Belegungsfrist: 20.11.2004

Zurück