Address

Jakob-Haringer-Str. 2

5020 Salzburg, Austria


Room 2.17


Phone

+43 (0)662 8044 6417

+43 (0)662 8044 611 (fax)


Skype ana_sokolova

Home

Papers

Talks

Teaching

Personal

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

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

Schedule:            Thursdays starting 16.10.14

                            1pm-3pm in T01 (Group 1, me) and T03 (Group 2, Andreas Haas)

                            3pm-5pm in T01 (Group 3)


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


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


Tutorials:             Tuesdays 12am-1pm in T06 starting 14.10.14 including 11.11.14

                            Fridays  1pm - 3pm in T03 starting 14.11.14

Literature:


  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 Amazon.de . 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 (Thursdays 3pm) the students are given a set of several homework exercises that are to be solved in groups of at most three people, signed, and delivered to the lecturer for the corresponding group before the following Wednesday 11 am. These exercises are to be discussed during class on the following Thursday. We will correct one randomly chosen exercise per week and the students will get a grade for that one. The corrected homework will be returned to the students with grades. Needless to say, copying between different groups is unacceptable and will be sanctioned. During class we will present the solution of the chosen corrected exercise and the students will be asked to present the solutions/discuss the other exercises. We may also present additional solutions. Grading: The grade of a student is determined by: (1) his/her grades of corrected homeworks, and (2) activity (ability to present solutions of exercises) in class. Hence, this is a course with permanent evaluation, there will be no exam. http://livepage.apple.com/

Tasks per week:


  1. •Week 3, 16.10.14. The solutions are to be delivered by Wednesday 22.10.14, 11am. TYPO: They were to be delivered by 15.10.14, 11am. Nevertheless, they will be accepted until 22.10.14, 11am.

  2. •Week 4, 23.10.14. The solutions are to be delivered by Wednesday 22.10.14, 11am.

  3. •Week 5, 30.10.14. The solutions are to be delivered by Wednesday 29.10.14, 11am.

  4. •Week 6, 6.11.14. The solutions are to be delivered by Wednesday 5.11.14, 11am.

  5. •Week 7, 13.11.14. Time change (only this time): Group Sokolova 1 will be from 12:30pm to 2pm; Group Sokolova 2 from 2:15pm to 3:45pm. The solutions are to be delivered by Wednesday 12.11.14, 11am. Few of these tasks are somewhat more complex but very important and beautiful. Even if you can not make all the proofs, please try to make at least some.

  6. •Week 8, 20.11.14. The solutions are to be delivered by Wednesday 19.11.14, 11am.

  7. •Week 9, 27.11.14. The solutions are to be delivered by Wednesday 26.11.14, 11am.

  8. •Week 10, 4.12.14. The solutions are to be delivered by Wednesday 3.12.14, 11am.

  9. •Week 11, 11.12.14. The solutions are to be delivered by Wednesday 10.12.14, 11am. This time all PS groups will be held together in T01 from 1pm to 3pm.

  10. •Week 12, 18.12.14. The solutions are to be delivered by Wednesday 17.12.14, 11am.

  11. •Week 13, 8.1.15. The solutions are to be delivered by Wednesday 7.1.15, 11am.

  12. •Week 14, 15.1.15. The solutions are to be delivered by Wednesday 14.1.15, 11am.

  13. •Week 15, 22.1.15. The solutions are to be delivered by Wednesday 21.1.15, 11am.

  14. •Week 16, 29.1.15. The solutions are to be delivered by Wednesday 28.1.15, 11am.


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

Ana Sokolova

Dr. TU Eindhoven, The Netherlands, 2005



Associate Professor


Computational Systems Group

Department of Computer Sciences

University of Salzburg

Austria


anas@cs.uni-salzburg.at