die Prüfungen sind mündlich und dauern jeweils
zwischen 20 und 40 Minuten.
Prüfungsstoff und Anmeldung zur Prüfung:
Prüfungsrelevant ist der komplette in der Vorlesung
"Algorithmen und Datenstrukturen" (Info IV SS04) behandelte
Stoff
und wahlweise
der in der Vorlesung Informatik III im WS03/04 von Herrn
Karpinski behandelte Stoff,
oder Kapitel 1-8 aus "Theoretische Informatik -- eine
Einführung mit 101 Beispielen", A. Asteroth, C.Baier, Pearson
Studium, 2002.
Anmeldung zur Vordiplomsprüfung:
Zur Zeit sind alle verfügbaren Prüfungstermine im
Bereich Vordiplom Info IV bis auf September 2005 hinaus vergeben. Die
Anmeldung für die Vordiplomprüfungen sind aus diesem Grunde
z.Zt. gestoppt. Bitte ziehen Sie in Erwägung, daß falls Sie
ihre Scheine bei anderen Lehrveranstaltungen erworben haben, sich
entsprechend dort prüfen zu lassen.
Diplomarbeiten: Diplomarbeiten koennen aus den Bereichen
Verifikation, Logik, Semantik vergeben werden (aber nicht
ausschliesslich).
Die exakte Themenvergabe erfolgt nach persoenlicher
Absprache.
Je nach persönlicher Neigung kann das Diplomarbeitsthema
so gewählt werden, daß der theoretische oder praktische
Anteil überwiegt.
"Vorbedingung zur Anmeldung:" Als Faustregel kann
gelten: 1-2 VL + weitere Veranstaltung aus den relevanten Gebieten
(vorzugsweise Schein (Übungen oder Seminar))
Diplomprüfungen (alte DPO):
Es sind A und C Prüfungen möglich
Der prüfungsrelevante Stoff ist jeweils der in
zwei vierstündigen Vorlesungen der Dozentin behandelte Stoff
(beliebig kombinierbar).