Prof. Dr. sc. Christoph Meinel
FB IV - Informatik
Die Grundstudiumsvorlesung ``Diskrete Strukturen und Logik''führt in die für das Informatikstudium im Hauptfach bzw. im Nebenfach grundlegenden Begriffe und Methoden der diskreten Mathematik und der mathematischen Logik ein. 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; Folgen und Summen; Algorithmen
II. Techniken: Mathematisches Schließen; Zählen
III. Wichtige diskrete Strukturen: Boolesche Algebra; Aussagen-und Prädikatenlogik, Graphen und Bäume; Endliche Gruppen.
Die Vorlesung ist zweistündig und setzt die im Wintersemester begonnene Vorlesung Diskrete Strukturen und Logik I fort. Das Vorlesungsskript liegt auch in elektronischer Form vor. (http://www.informatik.uni-trier.de/~meinel/Skripten.html)
Vorlesung:- Do 8-10 (Raum: Hörsaal 9 (Geb. E) )
Übung: