LTG Logic and Theory Group

• Montag 13-16

Raum B7
Gebäude der Exakten Wissenschaften
Sidlerstrasse 5

Diskrete Mathematik ist ein Teilgebiet der Mathematik, das sich hauptsächlich mit endlichen und abzählbar unendlichen Strukturen beschäftigt – Strukturen, die auch im Zusammenhang mit logischen Fragestellungen eine zentrale Rolle spielen.

Diskrete Mathematik und Logik sind sowohl für die Mathematik als auch für die Informatik von grundlegender Bedeutung und haben in beiden Bereichen wichtige Anwendungen. Diese zweisemestrige Veranstaltung führt Sie in diskrete Mathematik und Logik ein und stellt eine Reihe von zentralen Konzepten vor. Sie lernen, mit den entsprechenden Begriffen und Techniken selbstständig umzugehen.

Die Vorlesung beginnt mit einer kurzen Einführung in Mengenlehre und elementare Kombinatorik. Im Anschluss daran werden einige zahlentheoretische Eigenschaften betrachtet, die es uns erlauben, den Euklidische Algorithmus sowie das berühmte Kryptosystem von Ronald L. Rivest, Adi Shamir und Leonard Adleman zu diskutieren. Im Anschluss daran folgt eine kurze Einführung in Graphentheorie.

Im Logik-Teil stehen algorithmische Aspekte der Aussagenlogik im Vordergrund. Nach einer Einführung in die Syntax und Semantik der klassischen Aussagenlogik studieren wir vor allem auch das für die Informatik zentrale Problem der Beweissuche. Den Abschluss bildet ein kurzer Überblick über das Resolutionsverfahren für die klassische Aussagenlogik, das zum Beispiel im Kontext des automatischen Beweises, der Logik-Programmierung und von Expertensystemen von einiger Bedeutung ist.

Diese Veranstaltung richtet sich an Studierende des Bachelor-Studiums in Mathematik und Informatik ab 3. Semester.

Vorlesung mit Übungen und Semesterschlussprüfung.

Grundkenntnisse in Informatik und Mathematik

Wird in der Vorlesung bekannt gegeben