Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, Institut für Künstliche Intelligenz up: weitere Lehrveranstaltungen

Einführung in die formale Modellierung und Verifikation

Unterlagen zur Vorlesung im Wintersemester 2009/10


  Termine

 
Vorlesung:
Mi. 14:15 - 15:45 Uhr in O 27 / 121
Prof. F. von Henke, O 27 / 450
Sprechstunde: nach der Vorlesung oder n.V.

Übungen:
Mi. 16:15 - 17:45 Uhr in O 27 / 121
Holger Pfeifer, O 27 / 446
Sprechstunde: dienstags 14 - 15 Uhr oder n.V.

 Technisches

Typ:  Vorlesung im Hauptstudium (2V / 2Ü)
Zuordnung:  Praktische und Angewandte Informatik (Kernfach) 
Theoretische und mathematische Methoden der Informatik (Kernfach) 
Künstliche Intelligenz (Vertiefungsgebiet)


KI Startseite -hp, 10.10.09