185.A06 Formale Modellierung Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, VU, 2.0h, 3.0EC, wird geblockt abgehalten
Lecture TubeTUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • LectureTube Lehrveranstaltung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, die wichtigsten Methoden der formalen Spezifikation zu erklären und damit informell in natürlicher Sprache gegebene Sachverhalte zu modellieren. Sie besitzen ein Verständnis für die Ausdrucksstärke und die Grenzen der Methoden und können die für die jeweilige Anwendung geeigneten Methoden bestimmen. Weiters können sie formal-mathematische Notationen lesen und verstehen, insbesondere die formalen Definitionen der Methoden, wie sie in der Fachliteratur üblich sind.

Inhalt der Lehrveranstaltung

Textuelle Spezifikationssprachen:

  • Aussagenlogik
  • Prädikatenlogik
  • Reguläre Ausdrücke
  • Kontextfreie Grammatiken

Graphische Spezifikationssprachen:

  • Endliche Automaten
  • Petri-Netze

Für jede dieser Modellierungssprachen werden folgende Aspekte diskutiert:  

  • Syntax: Was ist eine zulässige Äußerung in dieser Sprache?
  • Semantik: Was bedeutet jede der zulässigen Äußerungen?
  • Ausdrucksstärke: Was kann ausgedrückt werden, was nicht?
  • Verwendung: Wie setzt man die Sprache zur Modelllierung ein?

Methoden

  • Vorlesung: Bei den Terminen im Hörsaal werden Fragen zum Stoff besprochen, ausgewählte Themen präsentiert und Übungsaufgaben gemeinsam gelöst. Als Vorbereitung auf diese Termine wird erwartet, dass die Studierenden sich den grundlegenden Stoff an Hand der bereitgestellten Videos und Dokumente selbständig erarbeiten.
  • TUWEL: Die E-Learning Plattform der TU Wien wird für die Verteilung von Lehrveranstaltungsunterlagen und für organisatorische Aufgaben genutzt. Außerdem enthält sie ein Nachrichtenforum für Verlautbarungen sowie ein Diskussionsforum, in dem Fragen zum Stoff und zur Organisation der Lehrveranstaltung diskutiert werden können.
  • 2 Übungsblätter: Es sind jeweils 15 Aufgaben individuell zu lösen und abzugeben. Die Studierenden erhalten neben den Musterlösungen auch Feedback zu ihren eigenen Lösungen. Die erzielten Punkte hängen ausschließlich von der Zahl der versuchten Aufgaben ab, nicht aber von der Korrektheit der Lösungsversuche.
  • Online-Übungstests: Jeder Test kann innerhalb eines Zeitraums von etwa einer Woche beliebig oft wiederholt werden.
  • 2 Abgabegespräche: Der Stoff der Übungenblätter wird in Kleingruppen diskutiert.
  • Abschlusstest: Ein schriftlicher Test (90 Minuten) überprüft am Lehrveranstaltungsende die erworbenen Kenntnisse und Fähigkeiten. Der Test findet in Präsenz statt. Als Hilfestellung sind Ausdrucke ausgewählter LV-Unterlagen zugelassen.

COVID-bedingt kann es kurzfristig zu Änderungen im Lehrveranstaltungsmodus kommen. Wenn erforderlich, wird der Abschlusstest Online abgehalten. In diesem Fall sind keine zusätzlichen Unterlagen zugelassen.
Hardware-Anforderungen bei Online-Prüfungen: ruhiger, heller Arbeitsplatz; Webcam, die den gesamten Arbeitsplatz zeigt; Scanner (etwa Handy-App, wobei dann aber das Handy nicht als Webcam dienen kann); Computer mit stabilem Internetzugang und Audio (etwa Headset); Bildschirm oder Drucker zum Anzeigen/Drucken der Angabe. Details siehe TUWEL-Kurs.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Aufwandsabschätzung

14.0 h selbständige Vorbereitung mit Videos und Dokumenten
14.0 h Vorlesung/Übung im Hörsaal
15.0 h Übungsblätter
4.0 h Online-Übungstests
2.0 h Abgabegespräche
24.0 h Vorbereitung auf Abschlusstest
2.0 h Abschlusstest
-------------------------------------------------
75.0 h = 3 Ects

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.14:00 - 16:0026.04.2022 - 14.06.2022GM 1 Audi. Max.- ARCH-INF Vorlesung
Mo.14:00 - 16:0009.05.2022FAV Hörsaal 1 - INF Tutorium UE1
09:00 - 14:0023.05.2022 - 31.05.2022InfLab Pong Abgabegespräche UE1
14:00 - 18:0024.05.2022 - 31.05.2022InfLab Pong Abgabegespräche UE1
Mo.14:00 - 16:0030.05.2022FAV Hörsaal 1 - INF Tutorium UE2
Mo.16:00 - 18:0030.05.2022InfLab Pong Abgabegespräche UE1
09:00 - 18:0013.06.2022 - 20.06.2022InfLab Pong Abgabegespräche UE2
Do.09:00 - 11:0023.06.2022InfLab Pong Abgabegespräche UE2
Do.12:00 - 18:0023.06.2022InfLab Pong Abgabegespräche UE2
Formale Modellierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.26.04.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.03.05.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Mo.09.05.202214:00 - 16:00FAV Hörsaal 1 - INF Tutorium UE1
Di.10.05.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.17.05.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Mo.23.05.202209:00 - 14:00InfLab Pong Abgabegespräche UE1
Di.24.05.202209:00 - 14:00InfLab Pong Abgabegespräche UE1
Di.24.05.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.24.05.202214:00 - 18:00InfLab Pong Abgabegespräche UE1
Mo.30.05.202209:00 - 14:00InfLab Pong Abgabegespräche UE1
Mo.30.05.202214:00 - 16:00FAV Hörsaal 1 - INF Tutorium UE2
Mo.30.05.202216:00 - 18:00InfLab Pong Abgabegespräche UE1
Di.31.05.202209:00 - 14:00InfLab Pong Abgabegespräche UE1
Di.31.05.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.31.05.202214:00 - 18:00InfLab Pong Abgabegespräche UE1
Mo.13.06.202209:00 - 18:00InfLab Pong Abgabegespräche UE2
Di.14.06.202209:00 - 18:00InfLab Pong Abgabegespräche UE2
Di.14.06.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Mo.20.06.202209:00 - 18:00InfLab Pong Abgabegespräche UE2
Do.23.06.202209:00 - 11:00InfLab Pong Abgabegespräche UE2
LVA wird geblockt abgehalten

Leistungsnachweis

Die Gesamtbeurteilung ergibt sich aus den Leistungen, die bei zwei Übungsblättern (zusammen max. 10 Punkte), zwei Abgabegesprächen (jeweils max. 5 Punkte), den Online-Tests (gesamt max. 10 Punkte) sowie beim schriftlichen Abschlusstest (max. 50 Punkte) erbracht werden. Insgesamt können somit 80 Punkte erzielt werden. Für eine positive Gesamtbeurteilung sind mindestens 25 Punkte beim Abschlusstest und eine Gesamtpunkteanzahl von mindestens 40 notwendig. Positive Noten ergeben sich aus der Gesamtpunktezahl nach folgendem Schlüssel:

  • 40-49 Punkte: genügend (4)
  • 50-59 Punkte: befriedigend (3)
  • 60-69 Punkte: gut (2)
  • 70-80 Punkte: sehr gut (1)

Zur Absolvierung des Abschlusstests werden vier Termine angeboten, und zwar voraussichtlich Juni, Anfang Oktober, Ende November und Mitte Jänner (die genauen Termine entnehmen Sie bitte dem Abschnitt Prüfungen). Es können maximal zwei der vier Termine genutzt werden, wobei das bessere Ergebnis zählt.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Fr.16:00 - 18:0018.11.2022GM 1 Audi. Max.- ARCH-INF schriftlich07.11.2022 00:00 - 16.11.2022 23:59in TISS3. Termin 2022S
Di.17:00 - 19:0017.01.2023GM 1 Audi. Max.- ARCH-INF schriftlich09.01.2023 00:00 - 15.01.2023 23:59in TISS4. Termin 2022S
Di.14:00 - 16:0020.06.2023GM 1 Audi. Max.- ARCH-INF schriftlichKeine Anmeldung-Prüfung WS2023
Di.14:00 - 16:0020.06.2023Informatikhörsaal - ARCH-INF schriftlichKeine Anmeldung-Prüfung WS2023

LVA-Anmeldung

Von Bis Abmeldung bis
11.04.2022 08:00 11.05.2022 23:59 11.05.2022 23:59

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 526 Wirtschaftsinformatik 2. Semestertrue
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
033 532 Medieninformatik und Visual Computing 2. Semestertrue
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
033 533 Medizinische Informatik 2. Semestertrue
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
033 534 Software & Information Engineering 2. Semestertrue
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
033 535 Technische Informatik 2. Semestertrue
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
884 UF Informatik und Informatikmanagement 4. Semestertrue
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Deutsch