| Universität Ulm, Fakultät für Informatik, Abtl. Künstliche Intelligenz | up: weitere Lehrveranstaltungen |
| Inhalt |
|
Dieses Praktikum wird in Verbindung mit der Vorlesung Maschinelles Beweisen angeboten. Im Praktikum können die in der Vorlesung vorgestellten und in den Übungen examplarisch angewendeten 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 | H. Pfeifer - Stand: 24.07.06 |