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, aber auch mit 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 „Diskrete Mathematik und Logik I“ 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. Es folgt eine kurze Einführung in Ordnungs- und 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 quantifizierte Aussagenlogik und die heute recht weitverbreitete Description Logic.

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

Für Studierende, die sich diese Vorlesung im Rahmen ihres Bachelorstudiums in Mathematik anrechnen lassen wollen, wird ein Zusatzblock über Boolesche Algebren angeboten.

Vorlesung mit Übungen und Semesterschlussprüfung.

Grundkenntnisse in Informatik und Mathematik

Wird in der Vorlesung bekannt gegeben