185.A06 Formal Modelling This course is in all assigned curricula part of the STEOP.
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2015W, VU, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

The aim of the course is to get the students to know the most relevant methods for formal specification, and to enable them to model real-world situations in a formal manner on the basis of ambigous natural language descriptions. Moreover the students learn to read and understand the formal-mathematical characterisations of these methods such that they can extend their knowledge by specialised literature on their own.

Subject of course

Propositional logic, finite automata, regular expressions, formal grammars, Petri nets, predicate logic as specification language.

The course consists of a lecture part and an exercise part. The final grade is determined by the graded exercises, one written test and two oral exams.

Additional information

Ects Breakdown

17.0 h attendance of lecture (5 days x 3h, 1 day x 2h)
10.5 h first exercise sheet (15 exercises x 0.7h)
0.5 h first discussion with tutor
8.0 h preparation for first oral exam (1 day x 8h)
1.0 h first oral exam (Abgabegespräch)
10.5 h second exercise sheet (15 exercises x 0.7h)
 0.5 h second discussion with tutor
8.0 h preparation for second oral exam (1 day x 8h))
1.0 h second oral exam (Abgabegespräch)
16.0 h preparation for final test (2 days x 8h)
1.5 h final test
-----------------------------------------------
74.5 h = ca. 3 Ects

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue13:00 - 16:0006.10.2015 - 20.10.2015GM 5 Praktikum HS Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Tue13:00 - 16:0006.10.2015 - 10.11.2015GM 1 Audi. Max. Lecture
Wed13:00 - 15:0021.10.2015EI 1 Petritsch HS Tutorium UE1
Thu15:00 - 18:0005.11.2015Informatikhörsaal 185.A06: Formale Modellierung Tutorium
Fri15:30 - 17:3013.11.2015EI 1 Petritsch HS Tutorium UE2
Wed18:00 - 20:0009.12.2015EI 8 Pötzl HS Formale Modellierung Tutorium
Fri17:00 - 20:0011.12.2015EI 10 Fritz Paschke HS Formale Modellierung Tutorium
Formal Modelling - Single appointments
DayDateTimeLocationDescription
Tue06.10.201513:00 - 16:00GM 5 Praktikum HS Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Tue06.10.201513:00 - 16:00GM 1 Audi. Max. Lecture
Tue13.10.201513:00 - 16:00GM 5 Praktikum HS Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Tue13.10.201513:00 - 16:00GM 1 Audi. Max. Lecture
Tue20.10.201513:00 - 16:00GM 5 Praktikum HS Vorlesung Formale Modellierung (Übertragung aus dem AudiMax)
Tue20.10.201513:00 - 16:00GM 1 Audi. Max. Lecture
Wed21.10.201513:00 - 15:00EI 1 Petritsch HS Tutorium UE1
Tue27.10.201513:00 - 16:00GM 1 Audi. Max. Lecture
Tue03.11.201513:00 - 16:00GM 1 Audi. Max. Lecture
Thu05.11.201515:00 - 18:00Informatikhörsaal 185.A06: Formale Modellierung Tutorium
Tue10.11.201513:00 - 16:00GM 1 Audi. Max. Lecture
Fri13.11.201515:30 - 17:30EI 1 Petritsch HS Tutorium UE2
Wed09.12.201518:00 - 20:00EI 8 Pötzl HS Formale Modellierung Tutorium
Fri11.12.201517:00 - 20:00EI 10 Fritz Paschke HS Formale Modellierung Tutorium

Examination modalities

Grading

The final grade is determined on the basis of  the submitted exercises (two sheets worth 5 points each), two oral exams (10 points each),  and the written final exam (50 points), giving a total of 2*5+2*10+50=80 points.  To pass the course you need at least 25 points at the final exam and at least 40 points in total. Positive grades are determined from the sum of points according to the following scale:

  • 40-49 points: passed (4)
  • 50-59 points: satisfactory (3)
  • 60-69 points: good (2)
  • 70-80 points: excellent (1)

We offer four dates to take the final exam: mid of December, January, mid of February, and June (for the precise dates see the section Exams). You may take the exam at most twice, with the better result superseding the worse one. A certificate is issued as soon as the final grade is positive, the final test has been taken the second time, or the fouth date has elapsed.

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Tue15:00 - 17:0030.06.2020FH Hörsaal 1 written14.06.2020 14:00 - 28.06.2020 23:55TISS1. Termin 2020S (Paralleltermin)
Tue15:00 - 17:0030.06.2020GM 1 Audi. Max. written14.06.2020 14:00 - 28.06.2020 23:55TISS1. Termin 2020S (Paralleltermin)
Tue15:00 - 17:0030.06.2020EI 7 Hörsaal written14.06.2020 14:00 - 28.06.2020 23:55TISS1. Termin 2020S (Paralleltermin)
Wed10:00 - 12:0023.09.2020EI 7 Hörsaal written31.08.2020 08:00 - 21.09.2020 23:55TISS2. Termin 2020S (Paralleltermin)

Course registration

Begin End Deregistration end
21.09.2015 00:00 22.10.2015 23:59 22.10.2015 23:59

Registration modalities:

To participate in this course and to get graded you have to take the following steps.

  1. Enroll in the Studienabteilung
  2. Do a Studieneingangsgespräch (registration until 1.10.2015 at the latest).
  3. Register for this course via TISS between September 21 and October 22, 2015 (only possible after enrolment and Studieneingangsgespräch, with a delay of 1-2 working days).
  4. Submit the first exercise sheet

Curricula

Study CodeSemesterPrecon.Info
033 522 Computer Science Management STEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 526 Business Informatics 1. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 532 Media Informatics and Visual Computing 1. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 533 Medical Informatics 1. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 534 Software & Information Engineering 1. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 535 Computer Engineering 1. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
884 Subject: Informatics und Informatics Management 4. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")

Literature

No lecture notes are available.

Language

German