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.

2015W, VU, 2.0h, 3.0EC

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

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.13:00 - 16:0006.10.2015 - 20.10.2015GM 5 Praktikum HS Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Di.13:00 - 16:0006.10.2015 - 10.11.2015GM 1 Audi. Max. Vorlesung
Mi.13:00 - 15:0021.10.2015EI 1 Petritsch HS Tutorium UE1
Do.15:00 - 18:0005.11.2015Informatikhörsaal 185.A06: Formale Modellierung Tutorium
Fr.15:30 - 17:3013.11.2015EI 1 Petritsch HS Tutorium UE2
Mi.18:00 - 20:0009.12.2015EI 8 Pötzl HS Formale Modellierung Tutorium
Fr.17:00 - 20:0011.12.2015EI 10 Fritz Paschke HS Formale Modellierung Tutorium
Formale Modellierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.06.10.201513:00 - 16:00GM 5 Praktikum HS Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Di.06.10.201513:00 - 16:00GM 1 Audi. Max. Vorlesung
Di.13.10.201513:00 - 16:00GM 5 Praktikum HS Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Di.13.10.201513:00 - 16:00GM 1 Audi. Max. Vorlesung
Di.20.10.201513:00 - 16:00GM 5 Praktikum HS Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Di.20.10.201513:00 - 16:00GM 1 Audi. Max. Vorlesung
Mi.21.10.201513:00 - 15:00EI 1 Petritsch HS Tutorium UE1
Di.27.10.201513:00 - 16:00GM 1 Audi. Max. Vorlesung
Di.03.11.201513:00 - 16:00GM 1 Audi. Max. Vorlesung
Do.05.11.201515:00 - 18:00Informatikhörsaal 185.A06: Formale Modellierung Tutorium
Di.10.11.201513:00 - 16:00GM 1 Audi. Max. Vorlesung
Fr.13.11.201515:30 - 17:30EI 1 Petritsch HS Tutorium UE2
Mi.09.12.201518:00 - 20:00EI 8 Pötzl HS Formale Modellierung Tutorium
Fr.11.12.201517:00 - 20:00EI 10 Fritz Paschke HS Formale Modellierung Tutorium

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
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
21.09.2015 00:00 22.10.2015 23:59 22.10.2015 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.2015, besser früher)
  3. Anmeldung zur Lehrveranstaltung über TISS zwischen 21.9. und 22.10.2015 (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