|
||||||||||||||||||||||
|
Formale Grundlagen 2 (Theoretische Informatik) [WS2003/2004] |
||||||||||||||||||||||
| Home |
| Institute |
| Research |
| Education |
| Industry |
| Search: |
|
Thema der Lehrveranstaltung In der LVA Formale Grundlagen 2 behandeln wir den formalen Berechenbarkeitsbegriff anhand von rekursiven Funktionen und Turingmaschinen. Aufbauend darauf befassen wir uns mit der Entscheidbarkeit bzw. Unentscheidbarkeit von Problemen, mit Komplexitätsklassen und vollständigen Problemen. Es wird vorausgesetzt, daß die Teilnehmer die mathematischen Voraussetzungen, wie sie in den LVAen Mathematik für Informatiker I und II geboten werden, mitbringen. Weiters werden Grundkenntnisse über Programmierung und Programmiersprachen vorausgesetzt. erste Vorlesung: 10. Oktober Am Ende des Semesters (30.1.2004) findet eine Klausur statt. Vorlesung und Übungen
Vorlesungsskriptum
Die Übungsblätter ...
Modus der Übungen Die Übungen finden in 3 Gruppen statt. Die Gruppeneinteilung wird im Netz und auch am Anschlagbrett verlautbart. Pro Woche werden etwa 5 Beispiele als Aufgaben gestellt. Diese Beispiele werden in den Übungsstunden besprochen, d.h. pro Beispiel kann sich jeweils ein Student melden, um die Lösung an der Tafel zu präsentieren. Daraus ergibt sich die Tafelleistung. Dreimal im Semester (7.11., 5.12., 22.1.) findet in der Übungsstunde eine Übungsklausur statt, bei der jeweils maximal 20 Punkte erreicht werden können. Es müssen mindestens 2 Übungsklausuren absolviert werden. Diese Übungsklausuren ergeben eine die Note bestimmende Zahl x wie folgt.
Die Note ergibt sich folgendermaßen:
Die Note kann durch eine gute Tafelleistung um einen Grad verbessert werden. Übungsklausuren Zu den Klausuren sind keine Unterlagen erlaubt.
Vorlesungsklausur Zur Klausur sind keine Unterlagen erlaubt.
Die Übungsgruppen
|
| This page is maintained by Ralf Hemmecke . | Last updated on May 3, 2004 |