Jakob-Haringer-Str. 2

5020 Salzburg, Austria

Room 2.17


+43 (0)662 8044 6417

+43 (0)662 8044 611 (fax)

Skype ana_sokolova

Many thanks to Silviu Craciunas for the photo (RTAS 2010 in Stockholm) and his help with iWeb!

Formale Systeme 511.002 (instructions), Winter semester 2015/2016

Schedule:            Thursdays starting 15.10.15

                            1pm-3pm in T01 (Group 1, me), T03 (Group 2, Markus Flatz) and

                            T02 (Group 3, Sebastian Arming)

First meeting:       Thursday October 15 at 1pm in T01 and T03

Language:           Teaching in German, course material (mainly) in English 

Tutorials:             Fridays 12am - 1:30pm in T03


  1. Textbook: Logical Reasoning: A First Course, by Rob Nederpelt and Fairouz Kameraddine, King’s College London Publications, 2007.

  1. Textbook: Modellierung: Grundlagen und formale Methoden by Uwe Kastens and Hans Kleine Buening, Hanser, 2005.

  1. Textbook: Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, Pearson/Addison-Wesley, 2007.

The books can be ordered via . Some copies are available at the department library.

Prerequisites:  None

Rules:   Presence in class is obligatory. Each student can miss one class, but not more than that without a serious reason.

Each week after the class (Thursday afternoon) the students are given a set of several homework exercises that are to be solved by the students until the next class.  These exercises are to be discussed during class on the following Thursday.

Each week except the first one we will have a short (15min) test with a simple exercise covering the material from the week before. These tests will be graded and together form the final grade.  

During class we will present the solution of some exercises and the students will be asked to present the solutions/discuss the other exercises.

Grading: The grade of a student is determined by: (1) his/her grades in the tests, and (2) activity (ability to present solutions of exercises) in class. Hence, this is a course with permanent evaluation, there will be no final exam.

Tasks per week:

  1. Week 2, 15.10.15.

  2. Week 3, 22.10.15.

  3. Week 4, 29.10.15. We will still explain Substitution and Leibniz more next Wednesday in the lecture -- nevertheless, read already now in the book and try to solve the tasks yourself.

  4. Week 5, 5.11.15.

  5. Week 6, 12.11.15.

  6. Week 7, 19.11.15.

  7. Week 8, 26.11.15.

  8. Week 9, 3.12.15.

  9. Week 10, 10.12.15.

  10. Week 11, 17.12.15

  11. Week 12, 7.1.16

  12. Week 13, 14.1.16

  13. Week 14, 21.1.16

  14. Week 15, 28.1.16

Course description:  These are the instructions accompanying the lectures Formale Systeme 511.001. Each week the students are given a set of (approximately) ten exercises to solve which we then discuss in class.

IMPORTANT NOTICE:  We will start with 2 instruction groups (even though we have people on the waiting list) and form a 3rd group after the semester has started. If you are registered on the waiting list for a particular group, please come to the instruction class with this group.

Ana Sokolova

Dr. TU Eindhoven, The Netherlands, 2005

Associate Professor

Computational Systems Group

Department of Computer Sciences

University of Salzburg