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
