Uni des Saarlandes
Informatik
Programmiersysteme
Vorlesungen
LSV SS-02


Hauptseite
Termine
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript

Übungen: Logik, Semantik und Verifikation

Zugelasssen zur Klausur sind die Teilnehmer : hier klicken

Übungsblätter

Alle Übungsblätter werden sie an dieser Stelle finden. Abgabetermin ist jeweils montags in der Vorlesungspause. Bitte kennzeichnen Sie Ihre Übung mit Ihrer Übungsgruppennummer! Jede Übung darf nur von einem Teilnehmer angefertigt werden. Stehen mehrere Namen auf einer Übung, so wird nur der erste Name (im Zweifelsfall kein Name) gewertet. Mit Ausnahme von den Programmieraufgaben müssen alle Aufgaben handschriftlich zu Papier gebracht werden.

  1. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  2. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  3. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  4. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  5. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  6. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  7. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  8. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  9. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  10. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  11. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  12. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

  13. Übungsblatt [PDF|PS]. Musterlösung [PDF|PS].

Alte Klausuren

Für die Vorbereitung zur Klausur lohnt es sich, einen Blick in die alten Klausuren zu werfen. Allerdings ist ihr Inhalt nicht mehr repräsentativ, da sich die Struktur der Vorlesung geändert hat.

1. Klausur. [PDF|PS]
2. Klausur. [PDF|PS]

Termine

1. Mittwoch 14-16
   (SR 13)
2. Mittwoch 16-18
   (SR 13)
3. Mittwoch 14-16
   (SR 15)
4. Donnerstag 14-16
   (SR 13)
5. Freitag 11-13
   (SR 15)
6. Donnerstag 16-18
   (SR 13)
7. Freitag 11-13
   (SR 13)
8. Freitag 14-16
   (SR 13)
Julia Luxenburger
(lux@ps.uni-sb.de)
Thomas Wies
(thomas@thomas-wies.de)
Guido Tack
(tack@ps.uni-sb.de)
Mathias Pohl
(mapo1234@studcs.uni-sb.de)
Jens Regenberg
(jens@ps.uni-sb.de)
Peter Birke
(fribi@studcs.uni-sb.de)
Christian Klein
(ckwon@web.de)
Sven Woop
(info4@sven-woop.de)
Dennis Reiter
Daniel Porta
Daniel Görgen
Christoph Klein
Bjoern Wachter
Sascha Kohn
Holger Dell
Ralf Forster
Marco Möhrlein
Natalie Schneider
Uwe Kasterka
Philipp Brendel
Elena Kvassova
Markus Uhl
Marc Berwanger
Sven Steudter
Fabian Recktenwald
Marvin Schiller
Jan Conrad
Michael Kleinszmit
Ivelina Stavreva
Andreas Bock
Alexander Evstiougov
Stefan Gruber
Sascha Kehrer
Markus Wilhelm
Sebastian Miele
Sabrina Wilske
Gregor - Ulrich Mehlmann
Andreas Broschart
Amir Rahmanian
Jean-Marc Roth
Thorsten Baumann
Torsten Kempf
Andreas Meyer
Dominik Heller
sabrina linn
florian harr
Daniel Omyla
Dominik Gummel
Klaus Lorenz Berberich
Robert Stragies
Ralph Debusmann
Borys Shtanko
Kaliopi Wozikaki
Michael Müller
Markus Robl
Marcus Schmidt
Bernhard Türk
Christian Marx
Christian Blass
Steffen Heil
Carsten Alexander Simon
Katrina Leyking
Ge Lin
Christian Schmitz
Christian Dressler
Sven Dillenseger
Boris Rapp
Dennis Schwarz
Mike Kersch
Sebastian Parkitny
Vladimir Frish
Stoyan Mutafchiev
Khoa Huynh
Bernd Michael Rauch
Michael Feld
Heiko Jenal
Roman Adam
Alexandre Sourkov
Andreas Neumann
Marc Schlickling
Christian Lambert
Markus Pister
Andreas Wagner
Sascha Kiefer
Etienne Aubin M be Mbock
Fei Wang
Thomas Di Lenardi
Christoph Keppner
Andreas Kleer
Stefanie Roth
Benjamin Martini
Marcus Reinhard
faiz whba
Andreas Zimnoch
Benjamin Bastian
Thomas Eigner
Adrian Gier
Sonja Kranz
Wei Ding
Patrick Schiel
Jens Weyer
Sabrina Bluemling
Alexander Walz
ye yuan
zhiguo xing
lei shi
Ingmar Stein
Latyr Tanor Dieng
Oliver Scheuer
Joachim Gräßer
Bärbel Franzen
Frank Fuchs
Mario Westrich
Johannes Wender
Thorsten Utter
Mohammed Abushammala
Thomas Quirin
Stefan Helfen
Wolfram von Funck
Hans-Jürgen Becker
Bernd Liebscher
Matthias Ghodstinat
Sven Arweiler
Dennis Hector
Dmytro Rubinshteyn
Melanie Becker
Monica Rodriguez
Dominique Taffin
Holger Hewener
Quan Nguyen
Stefan Heinz Schueffler
Andreas Hoffmann
Rainer Müller
Tilman Holschuh
Sascha Simon
Christian Mickler
Sibylle Weber-Böttler
Simon Georg Pinkel
Benjamin Kempe
Holger Lux
Kim Herzig
Francois Ngone Ndione
Eugen Staab
Andreas Pohlers
Christiane Altmeyer
Bruno Ranieri
Jörg Stephan
Behrang Zeini-Jahromi
Özlem Oral
Markus Eisenla
Khabouze Mostafa
youssef bazine
wenxiang ying
Regine Bader
Danyi Wang
Thomas Sewenig
Erik Thomas
Pascal RichardCisse
Dainius Ramanauskas
Oliver Maas
Marc Groß
Sylvia Schulz
Thorsten Dollmann
Tobias Schild
Christine Kiefer
Rostislav Rusev
Philip Busch
Isabell Schu
Johannes Heinz
Benjamin Hollinger
Carsten Cavelius
Christian Groß
Klaus Leibenguth
Carsten Schmittberger
Sergej Fallmann
Christine Nagel
Rene Schubotz
Sebastian Waßmuth
Stephan Schlicker
Andreas Pohl
Kai Jachmann
Andreas Kaster
Bernadette Blum
Philipp Weber
Hristo Tzigarov
yan mo
Holger Abt
Andreas Zins
Sascha Meyer
Petra Schumacher
Martin Kaiser
Simon Hirth
Patrick Kapahnke
Wangjun Shi
Adrian Frischauf
Oliver Barth
Daniel Wagner
Jean Tabi
Jan Kümmel
khaled Farrahe
ku lee
Christian Erbelding
Jan Ruffing
Stefan Chouteau
Fabian Müller
Sabrina Wolter
Christian Huppert
ehsan gholalmsaghaee
Christian Flick
Khalid Saadaoui
Lan Tian
Renner Kai - Uwe

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