| Universität Ulm, Fakultät für Informatik, Abtl. Künstliche Intelligenz | up: weitere Lehrveranstaltungen |
| Inhalt |
|
Dieses Praktikum wird parallel zur Vorlesung Maschinelles Beweisen mit PVS durchgeführt. Im Praktikum können die in der Vorlesung vorgestellten Modellierungs- und Analysemethoden anhand größerer Anwendungsbeispiele mit dem Spezifikations- und Verifikationssystem PVS praktisch vertieft werden. Voraussetzung für die Teilnahme am Praktikum ist der Besuch der Vorlesung und eine aktive Beteiligung an den Übungen, in denen die Grundlagen für die Praktikumsarbeit vermittelt werden. Anmeldungen zum Praktikum erfolgen im Rahmen der Vorlesung. Weitere Informationen und Unterlagen zum Praktikum finden sich in der Beschreibung der Vorlesung. |
| Termin |
|
Sobald Termine feststehen, werden sie hier bekanntgegeben.
|
|
|
|
| Technisches |
| Typ: | Praktikum im Hauptstudium (4P) | |
| Zuordnung: | Theoretische und mathematische Methoden der Informatik,
Praktische und Angewandte Informatik (Kernfach)
Künstliche Intelligenz (Vertiefungsgebiet) |
| Abtl. KI Startseite | Hilfe | Mail an Webmaster | H. Pfeifer - geändert: 15.06.05 |