Logik und diskrete Strukturen (LDS)

Modulinhalte

• Historischer Abriss zur Entwicklung und Bedeutung der Logik für die Informatik (Frege, Russell, Hilbert, Gödel, Turing)
• Logische Problemformulierung und Problemlösung (Aussagen­logik und Klassenkalkül 4/5, Prädikatenlogik 1/5), Exkurs: aktuelle Anwendungen der Logik - z.B. Semantik Web
• Ausgewählte diskrete Strukturen und Probleme aus Zahlentheorie (RSA), Graphentheorie (Wegfindung) und Kombinatorik (kombinatorische Explosion; Abzählen)

Aufwand: Historie (10%), Logik (50%), weitere diskrete Strukturen (40%)

Lernziele

Die Studierenden erkennen die grundlegende Bedeutung von diskreten Strukturen für Analyse, Darstellung und Lösung von Problemen in der Informatik.

Sie beherrschen die elementaren automatisierten Beweis­verfahren der Logik und können diese anwenden.

Sie kennen die grundlegenden Begrifflichkeiten der Graphentheorie und Kombinatorik und können Probleme entsprechend darstellen. Ausgewählte Problemstellungen können sie lösen.