Hasso-Plattner-Institut
  
    • de
 

Vorlesungsankündigung

(Sommersemester 1999)

Diskrete Strukturen und Logik II

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:

  • Mi 8-10 (Raum V 301)