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.
18.0 h attendance of lecture (9 days x 2h)21.0 h 3 exercise sheets (3 x 7h) 8.0 h preparation for first oral exam (Abgabegespräch) 1.0 h first oral exam (Abgabegespräch) 8.0 h preparation for second oral exam (Abgabegespräch) 1.0 h second oral exam (Abgabegespräch)16.0 h preparation for final test 2.0 h final test-----------------------------------------------75.0 h = 3 Ects
The final grade is determined on the basis of the submitted exercises (in total 10 points), two oral exams (10 points each), and the written final test (50 points), giving a total of 10+2*10+50=80 points. To pass the course you need at least 25 points at the final test and at least 40 points in total. Positive grades are determined from the sum of points according to the following scale:
We offer four dates to take the final exam: in January, February, June and September (for the precise dates see the section Exams). You may take the test 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.