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.

2020S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

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: In Vorträgen wird der Lehrveranstaltungsstoff zusammen mit Beispiele präsentiert. Die Vorlesungen werden aufgezeichnet und stehen als Beamer+Ton Aufnahmen zur Verfügung.
  • 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.
  • TutorInnen-Sprechstunden: Zu verlautbarten Terminen stehen TutorInnen zur Verfügung, um Fragen zum Stoff und zu den Übungsaufgaben zu beantworten.
  • 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 von der Korrektheit der Lösungsversuche.
  • 2 Abgabegespräche: Der Stoff der Übungenblätter wird in Kleingruppen diskutiert. Maximal vier Studierende verbringen eine Stunde mit einer/einem Angehörigen des Lehrpersonals, um offene Fragen zu klären und das Stoffverständnis zu überprüfen.
  • Abschlusstest: Ein schriftlicher Test (90 Minuten) überprüft am Lehrveranstaltungsende die erworbenen Kenntnisse und Fähigkeiten.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Aufwandsabschätzung

18.0 h Vorlesungsbesuch (9 Tage x 2h)
21.0 h 2 Übungsblätter (2 x 10.5h)
8.0 h Vorbereitung auf 1.Abgabegespräch
1.0 h 1.Abgabegespräch
 8.0 h Vorbereitung auf 2.Abgabegespräch
1.0 h 2.Abgabegespräch
16.0 h Vorbereitung auf Abschlusstest
2.0 h Abschlusstest
-------------------------------------------------
75.0 h = 3 Ects

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.15:00 - 17:0022.04.2020 - 03.06.2020GM 1 Audi. Max. Vorlesung
Di.15:00 - 17:0028.04.2020 - 26.05.2020GM 1 Audi. Max. Vorlesung
Fr.14:00 - 16:0015.05.2020EI 5 Hochenegg HS Tutorium <vor> UE1
Fr.14:00 - 16:0029.05.2020Seminarraum FAV EG B (Seminarraum von Neumann) FMOD Fragestunde Korrektur UE1
08:00 - 19:0003.06.2020 - 09.06.2020Informatiklabor Breakout Abgabegespräche UE1
08:00 - 19:0003.06.2020 - 09.06.2020Informatiklabor Zelda Abgabegespräche UE1
Fr.14:00 - 16:0005.06.2020EI 5 Hochenegg HS Tutorium <vor> UE2
Fr.14:00 - 16:0019.06.2020Seminarraum FAV EG B (Seminarraum von Neumann) FMOD Fragestunde Korrektur UE2
08:00 - 19:0022.06.2020 - 26.06.2020Informatiklabor Zelda Abgabegespräche UE2
08:00 - 19:0022.06.2020 - 26.06.2020Informatiklabor Breakout Abgabegespräche UE2
Formale Modellierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.22.04.202015:00 - 17:00GM 1 Audi. Max. Vorlesung
Di.28.04.202015:00 - 17:00GM 1 Audi. Max. Vorlesung
Di.05.05.202015:00 - 17:00GM 1 Audi. Max. Vorlesung
Mi.06.05.202015:00 - 17:00GM 1 Audi. Max. Vorlesung
Di.12.05.202015:00 - 17:00GM 1 Audi. Max. Vorlesung
Fr.15.05.202014:00 - 16:00EI 5 Hochenegg HS Tutorium <vor> UE1
Di.19.05.202015:00 - 17:00GM 1 Audi. Max. Vorlesung
Mi.20.05.202015:00 - 17:00GM 1 Audi. Max. Vorlesung
Di.26.05.202015:00 - 17:00GM 1 Audi. Max. Vorlesung
Mi.27.05.202015:00 - 17:00GM 1 Audi. Max. Vorlesung
Fr.29.05.202014:00 - 16:00Seminarraum FAV EG B (Seminarraum von Neumann) FMOD Fragestunde Korrektur UE1
Mi.03.06.202008:00 - 19:00Informatiklabor Breakout Abgabegespräche UE1
Mi.03.06.202008:00 - 19:00Informatiklabor Zelda Abgabegespräche UE1
Mi.03.06.202015:00 - 17:00GM 1 Audi. Max. Vorlesung
Do.04.06.202008:00 - 19:00Informatiklabor Breakout Abgabegespräche UE1
Do.04.06.202008:00 - 19:00Informatiklabor Zelda Abgabegespräche UE1
Fr.05.06.202008:00 - 19:00Informatiklabor Breakout Abgabegespräche UE1
Fr.05.06.202008:00 - 19:00Informatiklabor Zelda Abgabegespräche UE1
Fr.05.06.202014:00 - 16:00EI 5 Hochenegg HS Tutorium <vor> UE2
Mo.08.06.202008:00 - 19:00Informatiklabor Breakout Abgabegespräche UE1
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. 10 Punkte) sowie beim schriftlichen Abschlusstest (max. 50 Punkte) erbracht werden. Insgesamt können somit 10+2*10+50=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: Im Juni,September, November und 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
Do.14:00 - 16:0021.11.2019EI 7 Hörsaal schriftlich31.10.2019 08:00 - 19.11.2019 23:55in TISS3. Termin 2019S (Paralleltermin)
Mi.10:00 - 12:0008.01.2020GM 1 Audi. Max. schriftlich08.12.2019 08:00 - 06.01.2020 23:55in TISS4. Termin 2019S
Di.15:00 - 17:0030.06.2020FH Hörsaal 1 schriftlich14.06.2020 14:00 - 28.06.2020 23:55in TISS1. Termin 2020S (Paralleltermin)
Di.15:00 - 17:0030.06.2020GM 1 Audi. Max. schriftlich14.06.2020 14:00 - 28.06.2020 23:55in TISS1. Termin 2020S (Paralleltermin)
Di.15:00 - 17:0030.06.2020EI 7 Hörsaal schriftlich14.06.2020 14:00 - 28.06.2020 23:55in TISS1. Termin 2020S (Paralleltermin)
Mi.10:00 - 12:0023.09.2020EI 7 Hörsaal schriftlich31.08.2020 08:00 - 21.09.2020 23:55in TISS2. Termin 2020S (Paralleltermin)

LVA-Anmeldung

Von Bis Abmeldung bis
24.02.2020 08:00 18.05.2020 23:55 18.05.2020 23:55

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