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
Many thanks to Silviu Craciunas for the photo (RTAS 2010 in Stockholm) and his help with iWeb!
Formale Systeme 511.002 (instructions), Winter semester 2020/2021
Schedule: Thursdays starting 15.10.20
1pm-3pm in T01 (Group 1, me),
3pm-5pm in T01 (Group 2, me),
1pm-3pm online (Group 3, Sebastian Arming)
3pm-5pm in T02 (Group 4, Elmar Eder)
First meeting: Thursday October 15, and the in the first lecture meeting (Oct 8)
Language: Teaching in German, course material (mainly) in English
Tutorials: tba
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 evening) 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.
In all groups that happen in a lecture room: 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.
In the online group: Each week the students have to submit their Homework assignments (from the previous week) as a single pdf file in Blackboard. The Homework can be submitted personally or in groups of 2-3 students. All students from the group need to be signed on the submitted Homework. We will decide which of the tasks is to be corrected, and the students will get the points for that week based on the corrections.
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.
Plan B: In case of corona-related problems, students from Group 1,2, and 4, can participate in the online Group 3. In case nobody is allowed in the lecture rooms, we will switch all groups to online groups and the rules for Group 3 will then apply for all groups.
Ana Sokolova
Dr. TU Eindhoven, The Netherlands, 2005
Associate Professor
Department of Computer Sciences
Austria
Tasks per week:
-
•No homework tasks for the first meeting on 15.10.2020: Since we have no material yet (from 8.10.2020), there are no homework tasks for this week. We (the lecturers) will provide some examples to further explain the things that we will learn next week in the lectures. We did (parts of) the following tasks in class: Week 2.
-
•Homework tasks for Week 3. Please upload your Homework Assignment in Blackboard before Thursday October 22, 9am.
From 19.10.2020 all teaching will be online -- the Webex links are accessible from Blackboard!
-
•Homework tasks for Week 4. Please upload your Homework Assignment in Blackboard before Thursday October 29, 9am.
-
•Homework tasks for Week 5. Please upload your Homework Assignment in Blackboard before Thursday November 5, 9am.
-
•Homework tasks for Week 6. Please upload your Homework Assignment in Blackboard before Thursday November 12, 9am. Note that Task 1 is a leftover from last week (where it was Task 5).
-
•Homework tasks for Week 7. Please upload your Homework Assignment in Blackboard before Thursday November 19, 9am.
-
•Homework tasks for Week 8. Please upload your Homework Assignment in Blackboard before Thursday November 26, 9am.
-
•Homework tasks for Week 9. Please upload your Homework Assignment in Blackboard before Thursday December 3, 9am.
-
•Homework tasks for Week 10. Please upload your Homework Assignment in Blackboard before Thursday December 10, 9am.
-
•Homework tasks for Week 11. Please upload your Homework Assignment in Blackboard before Thursday December 17, 9am.
-
•Homework tasks for Week 12. Please upload your Homework Assignment in Blackboard before Thursday January 7, 9am.
-
•Homework tasks for Week 13. Please upload your Homework Assignment in Blackboard before Thursday January 14, 9am.
-
•Homework tasks for Week 14. Please upload your Homework Assignment in Blackboard before Thursday January 21, 9am.
-
•Homework tasks for Week 15. Please upload your Homework Assignment in Blackboard before Thursday January 28, 9am.
Literature:
-
•Textbook: Logical Reasoning: A First Course, by Rob Nederpelt and Fairouz Kameraddine, King’s College London Publications, 2007. [LR]
-
•Textbook: Language, Proof and Logic, by David Barker-Plummer, Jon Barwise, and John Etchemendy, CSLI Publications, Stanford (second edition) 2011. [LPL]
-
•Textbook: How to Think Like a Mathematician, by Kevin Houston, Cambridge University Press, 2009. [Think]
-
•Lecture Notes on Math Basics by Harald Woracek, TU Vienna, 2017 [LN]
-
•Textbook: Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, Pearson/Addison-Wesley, 2007. [Aut]
-
•Textbook: Introduction to the Theory of Computation, by Michael Sipser, Cengage, 2005. [Comp]
-
•Textbook: Modellierung: Grundlagen und formale Methoden by Uwe Kastens and Hans Kleine Buening, Hanser, 2005. [Mod]
The books can be ordered via Amazon.de . Some copies are available at the department library.
Prerequisites: None, the course material is self-contained, as are the textbooks.
Corona adjustments:
We have one online group to make sure that all students with problems caused by the corona crisis have a way to participate in the instructions.
The link for the online group will be made available via PlusOnline and Blackboard, by the group leader.
Luckily, we seem to have enough space for the groups 1,2, and 4 to happen in person. In case of corona-related problems, students from Group 1,2, and 4, can (when necessary) participate in the online Group 3.
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.
