Angebote für Studenten

Lehrveranstaltungen

WS 2007/08
Übung zur Vorlesung Gleichungslogik und Lambda-Kalkül
SS2007
Übung zur Vorlesung Semantik
SS2006
Übung zur Vorlesung Semantik
WS2005/06
Vorlesung zur Logikprogrammierung: Einführung in Prolog
SS 2005
Übung zur Vorlesung Semantik
Praktikum Spezifikation und Verifikation
WS 2004/05
Übung zur Vorlesung Gleichungslogik
Proseminar "Mathematische und logische Perlen der Informatik"
SS 2004
Übung zur Vorlesung Semantik
Praktikum Spezifikation und Verifikation
WS 2003/04
Tutorien zur Vorlesung DS I
SS 2003
Übung zur Vorlesung Gleichungslogik
Praktikum Spezifikation und Verifikation
WS 2002/03
Übung zur Vorlesung Semantik
Proseminar Softwaredesaster
SS 2002
Übung zur Vorlesung Logik

Bearbeitete und abgeschlossene Projekte


Copyright © 2002 - 2010 by Clemens Ballarin
Last updated 16 March 2010