Diskrete Mathematik für Informatiker

Typ: Vorlesung + Übung/Tutorium
SWS: 3
Credit Points: k.A.
Homepage:

Kursbeschreibung / -kommentar

Logik, Beweistechniken.

Mengen, Relationen, Relationenalgebraische Grundlagen.

Präordnungen, Halbordnungen, (Halb-)verbände.
Fixpunkttheorie.