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.
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.
15 h attendance of lecture (5x3h) 5 h preparation for lecture (5x1h) 1 h obligatory initial test in TUWEL20 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
To participate in the course and to get graded you have to take the following steps.
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:
