3 Übungsbetrieb

• Übungstermin: Mittwoch 9-11 (N201) oder 13-15 (N327-Gruppe 1,HS1-Gruppe 2).

  Erste Übung am 31.10.2001

• Praktische Übungen: Freitag 13-15, HS 1 (unregelmäßig)

  Erstmals am Freitag, den 26.10.2001 (Einführung in Promela)

Informationen und Links zu den praktischen Übungen

Es besteht die Möglichkeit zum Scheinerwerb. Hierzu wieder ein Kreditpunktesystem.

Kreditpunkte können aus vier ``Kreditpunktetöpfen'' erworben (und beliebig kombiniert) werden.

1. Übungszettel mind 300 KP
2. Programmieraufgaben mind 265 KP
3. Praktische Aufgaben mit SPIN, SMV, etc mind 50 KP
4. Klausur (genau) 340 KP

Es gibt keine Nachklausur.

Wer weit mehr als 200 KP Kreditpunkte sammelt, erhält Scheine mit der Note ``gut'' oder ``sehr gut''. Die Scheine (oder deren Noten) haben keine Relevanz für die Hauptdiplomsprüfungen. Sie dienen lediglich als Anreiz, sich während des Semesters zu engagieren. Ferner werden Studierende, die einen Schein erworben haben, in Engpaßsitutionen (Vergabe von Seminar-, Praktikums-, Diplomarbeitsplätzen oder Prüfungeterminen) bevorzugt behandelt.

• Klausur: letzte Vorlesung, Freitag, den 15. Februar 2002, 11-13 Uhr (HS1)

• Klausurzulassung: jeder kann mitschreiben, der sich fristgerecht (Frist wird noch bekannt gegeben) angemeldet hat

• erreichbare KP in der Klausur: 340

• zuvor gesammelte KP werden 1:1 angerechnet
  (Wer also voher 200 oder mehr KP hat, erhält den Schein ohne Klausur.)

Übungszettel: 300 KP

• vorwiegend theoretische Aufgaben
• jeweils mittwochs nach der Vorlesung unter
  http://web.informatik.uni-bonn.de/I/Lehre/Vorlesungen/VPS-0102/4Uebungszettel.html
• Abgabe der bearbeiteten Übungszettel:
  • jeweils 1 Woche nach Ausgabe des Übungszettel bis Mittwochs 11:10 Uhr im Briefkasten (erster Stock Neubau bei der Empore des Audimax)
• insgesamt 12-13 Übungszettel
  • Einheitsbewertung: pro Übungsblatt mindestens 25 Punkte
  • Pro Übungsblatt 3-7 Aufgaben, deren Punkteverteilung auf dem Übungsblatt angegeben ist.
• Bearbeitete Übungszettel können in Gruppen (bis 4 Gruppenmitglieder) abgegeben werden.

  Die Kreditpunkte der Übungszettel erhalten diejenigen Gruppenmitglieder, die bei der Besprechung des betreffenden Übungsblatts anwesend sind und bereit sind, abgegebene Aufgaben vorzurechnen.

Programmieraufgaben: mind 265 KP

Praktische Aufgaben: ca 50 KP