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.

2014W, VU, 2.0h, 3.0EC
TUWEL

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, einer schriftlichen Leistungsüberprüfung und zwei Abgabegesprächen zusammen.

Weitere Informationen

Aufwandsabschätzung

17.0 h Vorlesungsbesuch (5 Tage x 3h, 1 Tag x 2h)
10.5 h 1.Übungsblatt (15 Beispiele x 0.7h)
0.5 h 1.Tutorengespräch
8.0 h Vorbereitung auf 1.Abgabegespräch(1 Tag x 8h)
1.0 h 1.Abgabegespräch
10.5 h 2.Übungsblatt (15 Beispiele x 0.7h)
0.5 h 2.Tutorengespräch
8.0 h Vorbereitung auf 2.Abgabegespräch (1 Tag x 8h)
1.0 h 2.Abgabegespräch
16.0 h Vorbereitung auf Abschlusstest (2 Tage x 8h)
1.5 h Abschlusstest
-------------------------------------------------
74.5 h = ca. 3 Ects

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.13:00 - 16:0007.10.2014 - 21.10.2014GM 5 Praktikum HS- TCH Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Di.13:00 - 16:0007.10.2014 - 11.11.2014GM 1 Audi. Max.- ARCH-INF Vorlesung
Mi.15:00 - 17:0022.10.2014Seminarraum FAV EG C (Seminarraum Gödel) Tutorium UE1
Mi.15:00 - 17:0019.11.2014HS 7 Schütte-Lihotzky - ARCH Tutorium 2.Übungsblatt
Mi.15:00 - 17:0019.11.2014Seminarraum FAV EG C (Seminarraum Gödel) Tutorium UE2
Formale Modellierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.07.10.201413:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.07.10.201413:00 - 16:00GM 5 Praktikum HS- TCH Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Di.14.10.201413:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.14.10.201413:00 - 16:00GM 5 Praktikum HS- TCH Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Di.21.10.201413:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.21.10.201413:00 - 16:00GM 5 Praktikum HS- TCH Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Mi.22.10.201415:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Tutorium UE1
Di.28.10.201413:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.04.11.201413:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.11.11.201413:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Mi.19.11.201415:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Tutorium UE2
Mi.19.11.201415:00 - 17:00HS 7 Schütte-Lihotzky - ARCH Tutorium 2.Übungsblatt

Leistungsnachweis

Beurteilung

Die Gesamtbeurteilung ergibt sich aus den Leistungen, die bei zwei Übungsblättern (jeweils max. 5 Punkte), zwei Abgabegesprächen (jeweils max. 10 Punkte) sowie beim schriftlichen Abschlusstest (max. 50 Punkte) erbracht werden. Insgesamt können somit 2*5+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: Mitte Dezember, Jänner, Mitte Februar und Juni (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
Di.18:00 - 20:0021.06.2022HS 17 Friedrich Hartmann - ARCH schriftlich07.06.2022 08:00 - 19.06.2022 23:59in TISS1. Termin 2022S (Paralleltermin)
Di.18:00 - 20:0021.06.2022HS 17 Friedrich Hartmann - ARCH schriftlich07.06.2022 08:00 - 19.06.2022 23:59in TISS1. Termin 2022S (Paralleltermin)
Di.18:00 - 20:0021.06.2022GM 5 Praktikum HS- TCH schriftlich07.06.2022 08:00 - 19.06.2022 23:59in TISS1. Termin 2022S (Paralleltermin)
Di.18:00 - 20:0021.06.2022GM 1 Audi. Max.- ARCH-INF schriftlich07.06.2022 08:00 - 19.06.2022 23:59in TISS1. Termin 2022S (Paralleltermin)
Di.18:00 - 20:0021.06.2022GM 2 Radinger Hörsaal - TCH schriftlich07.06.2022 08:00 - 19.06.2022 23:59in TISS1. Termin 2022S (Paralleltermin)
Di.18:00 - 20:0021.06.2022FH 8 Nöbauer HS - MATH schriftlich07.06.2022 08:00 - 19.06.2022 23:59in TISS1. Termin 2022S (Paralleltermin)
Di.18:00 - 20:0021.06.2022FH Hörsaal 1 - MWB schriftlich07.06.2022 08:00 - 19.06.2022 23:59in TISS1. Termin 2022S (Paralleltermin)
Di.18:00 - 20:0021.06.2022Informatikhörsaal - ARCH-INF schriftlich07.06.2022 08:00 - 19.06.2022 23:59in TISS1. Termin 2022S (Paralleltermin)
Di.18:00 - 20:0021.06.2022EI 7 Hörsaal - ETIT schriftlich07.06.2022 08:00 - 19.06.2022 23:59in TISS1. Termin 2022S (Paralleltermin)

LVA-Anmeldung

Von Bis Abmeldung bis
22.09.2014 00:00 23.10.2014 23:59 23.10.2014 23:59

Anmeldemodalitäten

Um an dieser Lehrveranstaltung teilzunehmen und ein Zeugnis zu erhalten, sind folgende Schritte erforderlich.

  1. Inskription in der Studienabteilung
  2. Absolvierung eines Studieneingangsgesprächs (Anmeldung bis 1.10.2014, besser früher)
  3. Anmeldung zur Lehrveranstaltung über TISS zwischen 22.9. und 23.10.2014 (nur möglich nach Inskription und Absolvierung des Studieneingangsgesprächs, mit einer Verzögerung von 1-2 Werktagen)
  4. Abgabe des ersten Übungsblattes

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 522 Informatikmanagement STEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
true
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
033 526 Wirtschaftsinformatik 1. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
true
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
033 532 Medieninformatik und Visual Computing 1. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
true
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
033 533 Medizinische Informatik 1. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
true
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
033 534 Software & Information Engineering 1. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
true
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
033 535 Technische Informatik 1. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
true
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP
884 UF Informatik und Informatikmanagement 4. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
true
Lehrveranstaltung gehört zur Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Deutsch