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.

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

Merkmale

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

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, aus zwei Abgabegespräche und aus einem schriftlichen Abschlusstest zusammen.

Weitere Informationen

Aufwandsabschätzung

18.0 h Vorlesungsbesuch (9 Tage x 2h)
21.0 h 3 Übungsblätter (3 x 7h)
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
Di.15:00 - 17:0005.03.2019 - 14.05.2019GM 1 Audi. Max. Vorlesung
Fr.14:00 - 16:0012.04.2019EI 5 Hochenegg HS Tutorium UE2
Do.18:00 - 21:0002.05.2019FH Hörsaal 5 Tutorium zum 1. Abgabegespräch
08:00 - 19:0006.05.2019 - 10.05.2019Informatiklabor Breakout Abgabegespräche UE1
08:00 - 19:0006.05.2019 - 10.05.2019Informatiklabor Zelda Abgabegespräche UE1
Fr.14:00 - 16:0017.05.2019EI 5 Hochenegg HS Tutorium UE3
Mi.14:00 - 17:0029.05.2019FH Hörsaal 5 Tutorium zum 2. Abgabegespräch
08:00 - 19:0003.06.2019 - 07.06.2019Informatiklabor Zelda Abgabegespräche UE2
08:00 - 19:0003.06.2019 - 07.06.2019Informatiklabor Breakout Abgabegespräche UE2
Formale Modellierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.05.03.201915:00 - 17:00GM 1 Audi. Max. Vorlesung
Di.12.03.201915:00 - 17:00GM 1 Audi. Max. Vorlesung
Di.19.03.201915:00 - 17:00GM 1 Audi. Max. Vorlesung
Di.26.03.201915:00 - 17:00GM 1 Audi. Max. Vorlesung
Di.02.04.201915:00 - 17:00GM 1 Audi. Max. Vorlesung
Di.09.04.201915:00 - 17:00GM 1 Audi. Max. Vorlesung
Fr.12.04.201914:00 - 16:00EI 5 Hochenegg HS Tutorium UE2
Di.30.04.201915:00 - 17:00GM 1 Audi. Max. Vorlesung
Do.02.05.201918:00 - 21:00FH Hörsaal 5 Tutorium zum 1. Abgabegespräch
Mo.06.05.201908:00 - 19:00Informatiklabor Breakout Abgabegespräche UE1
Mo.06.05.201908:00 - 19:00Informatiklabor Zelda Abgabegespräche UE1
Di.07.05.201908:00 - 19:00Informatiklabor Breakout Abgabegespräche UE1
Di.07.05.201908:00 - 19:00Informatiklabor Zelda Abgabegespräche UE1
Di.07.05.201915:00 - 17:00GM 1 Audi. Max. Vorlesung
Mi.08.05.201908:00 - 19:00Informatiklabor Breakout Abgabegespräche UE1
Mi.08.05.201908:00 - 19:00Informatiklabor Zelda Abgabegespräche UE1
Do.09.05.201908:00 - 19:00Informatiklabor Breakout Abgabegespräche UE1
Do.09.05.201908:00 - 19:00Informatiklabor Zelda Abgabegespräche UE1
Fr.10.05.201908:00 - 19:00Informatiklabor Breakout Abgabegespräche UE1
Fr.10.05.201908:00 - 19:00Informatiklabor Zelda Abgabegespräche UE1
LVA wird geblockt abgehalten

Leistungsnachweis

Beurteilung

Die Gesamtbeurteilung ergibt sich aus den Leistungen, die bei drei Ü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 Jänner, Februar, Juni und September (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. Ein Zeugnis wird ausgestellt, sobald die Gesamtbeurteilung positiv ist, der Abschlusstest zum zweiten Mal absolviert wurde oder der vierte Termin verstrichen ist.

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
18.02.2019 08:00 25.03.2019 23:55 25.03.2019 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