Die Vorlesung findet in diesem Jahr erstmals als Informatik-F2, also im Sommersemester, statt.

Termine:
  • Vorlesung:
    • Dienstag, 10-12 Uhr in Audi 1

  • Übungen: (einstündig)
    • Mittwoch 8-17 Uhr
    • Freitag 10-12 Uhr

NEU: Das Pumping-Lemma (uvw-Theorem)

  1. Tutorial Movie [QuickTime Player oder Plugin erforderlich; 2,4 MB]
  2. Web-Präsentation

Scheinkriterien:
  • Aufgabenzettel werden zu Beginn am 3.4. in der Vorlesung verteilt und werden danach im Haus C im ersten Stock auf dem Tisch gegenüber den WCs ausgelegt.
  • Schriftliche Lösungen zu den 2 Aufgaben je Zettel werden vor dem Termin der Übungsgruppe abgegeben, von den Übungsgruppenleitern korrigiert und mit Punkten bewertet.
  • Die erreichbare Punktzahl kann für die 13 Aufgabenzettel variieren. Für das gesamte Semester ist die erreichbare Punktzahl jedoch 160. Es müssen 50% der insgesamt erzielbaren Punkte für die Bescheinigung einer erfolgreichen Teilnahme erreicht werden.
  • Eine nur knappe Unterschreitung kann durch Rücksprache mit Prof. Jantzen eventuell ausgeglichen werden.
  • Unter regelmäßiger Teilnahme wird die Anwesenheit an 12 der 14 Termine verstanden (bei häufigerem Fehlen wird eine schriftliche Begründung benötigt). Es ist also nicht ausreichend, nur solange an den Übungsgruppenterminen zu erscheinen, bis voraussichtlich die Hälfte der erzielbaren Punktzahl erhalten wurde!
  • Die aktive Teilnahme an den Übungen soll durch rege mündliche Beteiligung gezeigt werden. Um dies zu erleichtern, enthält jeder Aufgabenzettel eine einfache Präsenzaufgabe, deren Lösung von jeder Teilnehmerin und jedem Teilnehmer mündlich in der Übungsgruppe erwartet wird.
  • Auch das Vorrechnen von Übungsaufgaben gehört zur aktiven Teilnahme an den Übungsgruppen.