Uni des Saarlandes
Informatik
Programmiersysteme
Vorlesungen
LSV SS-02


Hauptseite
Termine
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript

Termine: Logik, Semantik und Verifikation




Montag Dienstag Mittwoch Donnerstag Freitag
  9-11 Uhr   Vorlesung
  HS 002
       
11-13 Uhr       Vorlesung
  HS 002
 
Übung 5
SR 015
Übung 7
SR 013
14-16 Uhr    Bremserbesprechung
 Raum 528
Übung 1
SR 013
Übung 3
SR 015
  Übung 4
  SR 013
  Übung 8
  SR 013
16-18 Uhr       Übung 2
  SR 013
  Übung 6
  SR 013
 

Die Klausur findet am 16. Juli von 9 bis 12 Uhr statt (Mathe-Hörsaal 1 + 2). Bestehen Sie diese nicht, so können Sie eine Nachklausur am 18. Oktober (9-12 Uhr) schreiben. Desweiteren können Sie auch optional die Nachklausur mitschreiben, um Ihre Note aus der ersten Klausur zu verbessern (verschlechtern können Sie Ihre Note durch diesen Schritt nicht).


Tim Priesnitz, Letzte Änderung: Mon Oct 16 13:11:03 2017.