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.

2011W, VU, 2.0h, 3.0EC, wird geblockt abgehalten
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, aus zwei Abgabegespräche und aus einem schriftlichen Abschlusstest zusammen.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.13:00 - 16:0004.10.2011 - 20.11.2011GM 1 Audi. Max.- ARCH-INF Vorlesung
Mi.15:00 - 18:0019.10.2011GM 1 Audi. Max.- ARCH-INF Vorlesung
Formale Modellierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.04.10.201113:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.11.10.201113:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.18.10.201113:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Mi.19.10.201115:00 - 18:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.25.10.201113:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Di.08.11.201113:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

Um an der Lehrveranstaltung teilnehmen zu können und beurteilt zu werden, sind zunächst folgende Schritte erforderlich.

  • Absolvierung eines Studieneingangsgesprächs (Anmeldung bis 5.10.2011)
  • Inskription in der Studienabteilung bis 10.10.2011 (bei späterer Inskription ist der zeitgerechte Zugang zum Verwaltungsprogramm TISS und zur E-Learning Plattform TUWEL nicht mehr gewährleistet)
  • Anmeldung zur Lehrveranstaltung über TISS zwischen 3.10. und 12.10.2011 (nur möglich nach Studieneingangsgespräch und Inskription, mit einer Verzögerung von 1-2 Werktagen)
  • Absolvierung eines Eingangstests im TUWEL Online-Kurs zwischen 4.10. und 13.10.2011 (nur möglich nach Anmeldung in TISS). Grundlage des Eingangstests ist der Stoff der ersten Vorlesungseinheit am 4.10.2011.

Erst wenn Sie den Eingangstest erfolgreich absolviert haben, wird Ihre Anmeldung in TISS bestätigt, andernfalls werden Sie automatisch von der Lehrveranstaltung abgemeldet. Sobald Sie den Eingangstest absolviert haben und somit zur Lehrveranstaltung Formale Modellierung angemeldet sind, wird nach Ende der Lehrveranstaltung ein Zeugnis ausgestellt!

Die Gesamtbeurteilung ergibt sich aus den Leistungen, die bei 2 Übungsblättern (jeweils max. 5 Punkte), bei 2 Abgabegesprächen (jeweils max. 10 Punkte) sowie beim schriftlichen Abschlusstest (max. 70 Punkte) erbracht werden. Insgesamt können somit 2*5+2*10+70=100 Punkte erzielt werden. Die Teilnahme am Abschlusstest ist nur möglich, wenn bei jedem der Übungsblätter und Abgabegespräche mindestens ein Punkt erzielt wurde. Für eine positive Gesamtbeurteilung sind mindestens 35 Punkte beim Abschlusstest und eine Gesamtpunkteanzahl von mindestens 50 notwendig. Positive Noten ergeben sich aus der Gesamtpunktezahl nach folgendem Schlüssel:

  • 50-61 Punkte: genügend
  • 62-74 Punkte: befriedigend
  • 75-87 Punkte: gut
  • 88-100 Punkte: sehr gut

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
03.10.2011 08:00 12.10.2011 23:55 12.10.2011 23:55

Anmeldemodalitäten

Um an der Lehrveranstaltung teilnehmen zu können und beurteilt zu werden, sind zunächst folgende Schritte erforderlich.

  • Absolvierung eines Studieneingangsgesprächs (Anmeldung bis 5.10.2011)
  • Inskription in der Studienabteilung bis 10.10.2011 (bei späterer Inskription ist der zeitgerechte Zugang zum Verwaltungsprogramm TISS und zur E-Learning Plattform TUWEL nicht mehr gewährleistet)
  • Anmeldung zur Lehrveranstaltung über TISS zwischen 3.10. und 12.10.2011 (nur möglich nach Studieneingangsgespräch und Inskription, mit einer Verzögerung von 1-2 Werktagen)
  • Absolvierung eines Eingangstests im TUWEL Online-Kurs zwischen 4.10. und 13.10.2011 (nur möglich nach Anmeldung in TISS). Grundlage des Eingangstests ist der Stoff der ersten Vorlesungseinheit am 4.10.2011.

Erst wenn Sie den Eingangstest erfolgreich absolviert haben, wird Ihre Anmeldung in TISS bestätigt, andernfalls werden Sie automatisch von der Lehrveranstaltung abgemeldet. Sobald Sie den Eingangstest absolviert haben und somit zur Lehrveranstaltung Formale Modellierung angemeldet sind, wird nach Ende der Lehrveranstaltung ein Zeugnis ausgestellt!

Curricula

StudienkennzahlSemesterAnm.Bed.Info
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