Logik und diskrete Strukturen (BA-INF 011)

Termine

Art Wann Wo Beginn LP Dozent und Übungsleitung
V4 Dienstag 10:15 - 11:45
Donnerstag 10:15 - 11:45
CP1-HSZ / Hörsaal 2
CP1-HSZ / Hörsaal 2
11. Oktober 2018 5,5 Prof. Dr. Rolf Klein
Barbara Schwarzwald
Ü2 Übungstermine 16. Oktober 2017 3,5

Die erste Vorlesung findet am 11. Oktober statt.

Inhalt

Bei dieser Vorlesung handelt sich um die erste von drei Pflichtvorlesungen im Bereich der theoretischen Informatik, die im Bachelorstudiengang an der Universität Bonn vorgesehen sind. Die wesentlichen Themen dieser Vorlesung sind Logik, Automatentheorie und formale Sprachen. Zunächst werden wir aber einige mathematische Grundlagen besprechen, die für ein Studium der Informatik unerlässlich sind. Viele davon sind Ihnen wahrscheinlich bereits in der Schule begegnet. Dennoch werden wir uns hier die Zeit nehmen, sie zu wiederholen und zu vertiefen, da die sichere Beherrschung dieser Grundlagen eine wichtige Voraussetzung für jede Lehrveranstaltung der Informatik ist.

Übungen

Begleitend zur Vorlesung gibt es wöchentliche Übungszettel, die freiwillig zur Korrektur abgegeben werden können. Die Lösungen werden in ebenfalls wöchentlichen Übungsgruppen besprochen. Zur Teilnahme an den Übungsgruppen muss man sich wegen der begrenzten Größe der Räume anmelden, auch wenn man keine Korrektur wünscht.

Bearbeiten der Übungsaufgaben und Teilnahme an den Übungen ist zwar freiwillig aber in höchstem Maße empfohlen . Übungensaufgaben sind klausurrelevant.

Information, Organisation, Anmeldung, Bereitstellung der Übungszettel etc. läuft in diesem Semester über eCampus.

Als Ausnahme wird hier der erste Übungszettel hochgeladen, da noch nicht alle Studenten Zugang zu ecampus haben:

Skript

Zur Vor- und Nachbereitung der Vorlesung sind grundsätzlich eigene Notizen zu empfehlen. Die Vorlesung basiert allerdings größtenteils auf dem unten angegebenen Skript. Die gelegentlichen Ergänzungen sind aber ebenfalls klausurrelevant und werden während der Vorlesung gekennzeichnet. Für diese Ergänzungen gibt es kein Skript, sodass Sie dafür auf Ihre Vorlesungsnotizen angewiesen sind.

Das Skript findet sich hier:

Der letzte Vorlesungsteil zu Aussagen- und Prädikatenlogik basiert abweichend zum Röglin-Skript auf diesen Notizen:

en/lehre/ws1819/logik-und-diskrete-strukturen.txt · Zuletzt geändert: 2018/11/28 13:39 von padalkin

Benutzer-Werkzeuge