Hasso-Plattner-Institut
 
    • de
 

Vorlesungsankündigung

(Wintersemester 1999/2000)

Diskrete Strukturen und Logik

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)