Logik und diskrete Strukturen

Termine

Die Vorlesung beginnt wie in Basis angekündigt am Donnerstag den 10.10.!

Art Wann Wo Beginn Dozent
V4 Dienstag 10:15 - 11:45
Donnerstag 10:15 - 11:45
CP1-HSZ / Hörsaal 2 Do. 10. Oktober 2019 Langetepe
Übungsbetrieb 14. Oktober 2019 Rösner, Schwarzwald, Dahn

Organisation

Organisatorisches zur Vorlesung, wie z.B. Anmeldung zu den Übungsgruppe, Ausgabe der Übungszettel, Link aufs Skript etc., erfolgt über die Kursseite im eCampus-System.

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

  • Für das Bestehen der Übungen müssen insgesamt mindestens 50% der zu erreichenden Punkte bei den Übungsaufgaben erreicht werden und die Lösung einer Aufgabe muss im Laufe des Semesters erfolgreich im Tutorium präsentiert werden.
  • Eine Abgabe der Übungsaufgaben in Gruppen bis zu drei Studierenden ist möglich.
  • Die Übungszettel werden immer dienstags ausgegeben. Die Lösungen müssen eine Woche später um 10:15 Uhr im entsprechenden Briefkasten im Hörsaalgebäude abgegeben werden.
  • Die Lösungen müssen auf dem vorderen Blatt die Namen der Studierenden und deutlich erkennbar die Nummer der Übungsgruppe enthalten. Falls eine Abgabe aus mehreren Blättern besteht, müssen diese zusammen getackert sein.

Literatur


Page Tools