Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

FB Inf

Regelungen zur Schein- bzw. Kreditpunktevergabe zur Vorlesung Grundlagen der Programmierung im Sommersemester 2000


Die erfolgreiche Teilnahme an der Vorlesung Grundlagen der Programmierung 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. 50 dieser Inhaltspunkte können durch die Abschlussklausur erreicht werden, jeweils 15 Inhaltspunkte durch die drei schriftlichen Überprüfungen. Die verbleibenden 5 Inhaltspunkte können durch Vorrechnen in den Übungsgruppen erworben werden.

Teilnahmevoraussetzungen für die schriftlichen Überprüfungen sowie die Abschlussklausur ist eine regelmäßige Abgabe der Übungen, wobei die Aufgaben mindestens zu 50% sinnvoll bearbeitet sein müssen.

Ein Täuschungsversuch in einer der drei schriftlichen Überprüfungen oder der Abschlussklausur führt zum sofortigen Nichtbestehen der gesamten Vorlesung.


Impressum AG Formale Methoden und Deduktion Fachbereich Informatik Technische Universität Kaiserslautern Valid HTML 4.01!

Letzte Änderung: Wednesday, 26-Oct-05 08:59:16 GMT
www-aven@informatik.uni-kl.de