Prof. Dr. sc. Christoph Meinel
FB IV - Informatik
Die Grundstudiumsvorlesung ``Diskrete Strukturen und Logik''führt ein in die für das Informatik -und Wirtschaftsinformatikstudium 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:
I. Grundlagen: Aussagenlogik; Mengen und Mengenoperationen; Relationen und Funktionen; Mathematisches Beweisen
II. Techniken: Beweistechniken; Zählen und Kombinatorik; Diskrete Stochastik
III. Wichtige diskrete Strukturen: Boolesche Algebren; Aussagen-und Prädikatenlogik, Graphen und Bäume; Endliche Arithmetik.
Die Vorlesung ist vierstündig. Der Besuch ist obligatorisch für Studenten der Informatik und Wirtschaftsinformatik im 1. Semester. Das Vorlesungsskript liegt auch in elektronischer Form vor. (http://www.informatik.uni-trier.de/~meinel/Skripten.html )
Vorlesung:- Mo 10-12 (Raum: Jetzt auch Hörsaal 7) und
- Mi 8-10 (Raum: Hörsaal 7)
Übung: (Dr. Frank Recker)
- Gruppe 1: Do 8-10 (Raum: V 302),
- Gruppe 2: Do 10-12 (Raum: V302),
- NEU: Gruppe 3: Fr 10-12 (Raum: DM 32/35)
