en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Lehrveranstaltungen
Sommer 2013
Winter 2012
Sommer 2012
Winter 2011
Sommer 2011
Winter 2010
Sommer 2010
Winter 2009
Sommer 2009
Winter 2008
Sommer 2008
Winter 2007
Sommer 2007
Winter 2006
Sommer 2006
Winter 2005
Sommer 2005
Sommer 2012
Bachelorstudium
Diskrete Mathematik
Einführung in das wissenschaftliche Arbeiten
Logische Programmierung
Masterstudium
Automatisches Beweisen (Theorie von Entscheidungsverfahren)
Berechenbarkeitstheorie
Experimente mit Verifikation (Praxis von Entscheidungsverfahren)
Model Checking
Seminar 3
Doktoratsstudium
Seminar 3
Baumautomaten