Drucken | Kontakt | TU Wien
Home
nach oben zum seitenanfang

Details

Detailinformation

VU Formale Modellierung


Ziele der Lehrveranstaltung

Ziel der Lehrveranstaltung ist es, den Studierenden die wichtigsten formalen Spezifikationsmethoden zu vermitteln und sie zu befähigen, mit diesen Methoden mehrdeutige umgangssprachlich beschriebene Sachverhalte zu modellieren. Weiters lernen sie die formal-mathematischen Beschreibungen dieser Methoden zu lesen und zu verstehen, sodass sie selbständig ihr Wissen an Hand von Fachliteratur vertiefen können.

Inhalt der Lehrveranstaltung

Aussagenlogik, endliche Automaten, reguläre Ausdrücke, formale Grammatiken, Petri-Netze, Prädikatenlogik als Spezifikationssprache. Die Vermittlung dieser Inhalte erfolgt durch einen Vorlesungsteil und durch selbständig zu lösende Übungsaufgaben. Die Beurteilung setzt sich aus der Bewertung dieser Aufgaben, einer schriftlichen Leistungsüberprüfung und zwei Abgabegesprächen zusammen.




zurück zur letzten Lehrveranstaltungweiter zur nächsten Lehrveranstaltung
Sie informierten sich überWeitere Erklärungen zur Statistik
Hier wird angezeigt, für welche Studien Sie sich besonders interessiert haben.

Technische Universität Wien

Karlsplatz 13, 1040 Wien, Österreich
Tel. +43(0)1/58801-0
Fax +43(0)1/58801-41099
Email: pr@tuwien.ac.at

TU Wien auf Facebook

Noch Fragen?

TU Wien auf Twitter

Service will be available again soon.
Wählen Sie die Darstellungsform der Tagcloud. Für Screenreader sollte "barrierefrei" gewählt werden.
Sie haben Javascript in Ihrem Browser deaktiviert (oder Ihr Browser unterstützt kein Javascript). Um die TagCloud betrachten zu können, aktivieren Sie Javascript in Ihrem Browser oder wechseln Sie hier zur TagCloud ohne Javascript.
Keine HTML5 Unterstützung gefunden

Sie können die animierte TagCloud leider nicht betrachten, da der von Ihnen verwendete Browser veraltet ist und keine HTML5 Unterstützung bietet (nähere Informationen zu HTML5 erhalten Sie hier [W3C] und auf Wikipedia).

Um die animierte TagCloud betrachten zu können, empfehlen wir Ihnen eine aktuellere Version Ihres Browsers zu installieren, oder einen anderen Browser zu verwenden. Eine Liste der bekanntesten modernen Browser mit HTML5 Unterstützung finden Sie weiter unten.

Klicken Sie auf eines der Symbole um zur Download Seite des jeweiligen Browsers zu gelangen.