Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus
Formale Methoden und Deduktion |
|
Regelungen zur Schein- bzw. Kreditpunktevergabe zur Vorlesung Entwurf und Analyse von Algorithmen im Wintersemester 2000/2001 |
Die erfolgreiche Teilnahme an der Vorlesung Entwurf und Analyse von Algorithmen wird durch die Vergabe eines benoteten Scheines oder von Kreditpunkten dokumentiert. Die erzielte Note wird mit Hilfe von sogenannten Inhaltspunkten festgelegt. Dabei werden insgesamt maximal 100 Inhaltspunkte vergeben. 60 dieser Inhaltspunkte können durch die Abschlussklausur erreicht werden, 35 Inhaltspunkte durch die Zwischenklausur. Die verbleibenden 5 Inhaltspunkte können durch Vorrechnen in den Übungsgruppen erworben werden.
Teilnahmevoraussetzung für die Zwischenklausur ist eine regelmäßige Abgabe der Übungen, wobei die Aufgaben mindestens zu 50% sinnvoll bearbeitet sein müssen.
Die Anmeldung für die Abschlussklausur erfolgt über das Dekanat des
Fachbereichs Informatik.
Die Anmeldung für die Zwischenklausur erfolgt in den Übungen.
Ein Täuschungsversuch in der Zwischenklausur oder der Abschlussklausur führt zum sofortigen Nichtbestehen der gesamten Vorlesung.
| Impressum | AG Formale Methoden und Deduktion | Fachbereich Informatik | Technische Universität Kaiserslautern |
|