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.

2012S, VU, 2.0h, 3.0EC, to be held in blocked form
TUWEL

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 grading the exercises, two oral exams, and a final written test.

Additional information

Ects Breakdown

15 h attendance of lecture (5x3h)
5 h preparation for lecture (5x1h)
1 h obligatory initial test in TUWEL
20 h exercises (2 sheets x 10 exercises x 1h)
6 h preparation for oral exams (2x3h)
2 h oral exams (2x1h)
24 h preparation for written test (3 Tage x 8h)
2 h written test
----------------------------------------------------
75 h = 3 Ects

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue14:00 - 17:0006.03.2012 - 22.04.2012Informatikhörsaal - ARCH-INF Plenary lecture
Wed15:00 - 17:0021.03.2012 - 25.04.2012Seminarraum FAV EG B (Seminarraum von Neumann) Tutorensprechstunde FM
Mon16:00 - 18:0021.05.2012Seminarraum FAV EG B (Seminarraum von Neumann) Tutorensprechstunde FM
Formal Modelling - Single appointments
DayDateTimeLocationDescription
Tue06.03.201214:00 - 17:00Informatikhörsaal - ARCH-INF Plenary lecture
Tue13.03.201214:00 - 17:00Informatikhörsaal - ARCH-INF Plenary lecture
Tue20.03.201214:00 - 17:00Informatikhörsaal - ARCH-INF Plenary lecture
Wed21.03.201215:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Tutorensprechstunde FM
Tue27.03.201214:00 - 17:00Informatikhörsaal - ARCH-INF Plenary lecture
Wed28.03.201215:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Tutorensprechstunde FM
Tue17.04.201214:00 - 17:00Informatikhörsaal - ARCH-INF Plenary lecture
Wed18.04.201215:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Tutorensprechstunde FM
Wed25.04.201215:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Tutorensprechstunde FM
Mon21.05.201216:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Tutorensprechstunde FM
Course is held blocked

Examination modalities

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

  • Do a Studieneingangsgespräch (until 02.03.2012).
  • Enroll in the Studienabteilung for Informatik or Wirtschaftsinformatik until 12.03.2012 (if you enroll later you might not get access to the course administration tool TISS and to the e-learning platform TUWEL in time).
  • Register for this course via TISS between 01.03.2012 and 14.03.2012 (only possible after doing the Studieneingangsgespräch and enrolment, with a delay of 1-2 working days).
  • Complete the online test in TUWEL between 06.03.2012 and 15.03.2012 (only possible after registering in TISS). This introductory test is based on the first course unit taking place on 06.03.2012.

As soon as you have completed the online test, your registration is valid and you will get a certificate after termination of the course; otherwise you will be automatically deregistered.

The final grade is based on the submitted exercises (two sheets worth 5 points each), two oral exams (10 points each) and the written test (50 points), giving a total of 2*5+2*10+50=80 points. As a prerequisite you need at least one point per exercise sheet and one point per oral exam in order to participate in the written exam. To pass the course you need at least 25 points at the written 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)

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Fri11:00 - 13:0003.05.2024EI 7 Hörsaal - ETIT written07.03.2024 08:00 - 01.05.2024 23:59TISSTest 1
Fri12:00 - 14:0021.06.2024EI 7 Hörsaal - ETIT written07.03.2024 09:00 - 19.06.2024 23:59TISSTest 2
Fri10:00 - 12:0005.07.2024EI 7 Hörsaal - ETIT written21.06.2024 12:00 - 03.07.2024 23:59TISSTest WH

Course registration

Begin End Deregistration end
01.03.2012 08:00 14.03.2012 23:55 14.03.2012 23:55

Registration modalities

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

  • Do a Studieneingangsgespräch (until 02.03.2012).
  • Enroll in the Studienabteilung for Informatik or Wirtschaftsinformatik until 12.03.2012 (if you enroll later you might not get access to the course administration tool TISS and to the e-learning platform TUWEL in time).
  • Register for this course via TISS between 01.03.2012 and 14.03.2012 (only possible after doing the Studieneingangsgespräch and enrolment, with a delay of 1-2 working days).
  • Complete the online test in TUWEL between 06.03.2012 and 15.03.2012 (only possible after registering in TISS). This introductory test is based on the first course unit taking place on 06.03.2012.

As soon as you have completed the online test, your registration is valid and you will get a certificate after termination of the course; otherwise you will be automatically deregistered.

Curricula

Study CodeObligationSemesterPrecon.Info
033 526 Business Informatics Mandatory1. 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 Mandatory1. 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 Mandatory1. 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 Mandatory1. 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 Mandatory1. 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 Mandatory4. 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.

Miscellaneous

Language

German