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