TU Wien:Formal Language Theory VU (Freund)
Daten[edit | edit source]
|Alias||Formal Language Theory (en)|
|Department||Logic and Computation|
|Language||"if required in english" was not recognized as a supported language code.|
|Mattermost||Register • Mattermost-Infos•|
|Master Logic and Computation||Wahlmodul Logic, Mathematics, and Theoretical Computer Science|
|Master Software Engineering & Internet Computing||Wahlmodul Formale Methoden und Theoretische Informatik|
Inhalt[edit | edit source]
noch offen, bitte nicht von TISS/u:find oder Homepage kopieren, sondern aus Studierendensicht beschreiben.
Still not sure, in WS20 it was held together with TU Wien:Membrane Computing VU (Rudolf Freund).
Ablauf[edit | edit source]
WS20: in the first lecture Prof. Freund asked if everyone spoke German, so I assume the lecture might be in German if that was the case. The lectures were held in gotomeeting, and in the first lecture he also asked which weekday and time would work for everyone.
There were no recordings, but he said he was fine with repeating things if we missed a lecture.
The students had to do 4 exercises and a presentation at the end of the semester.
Benötigte/Empfehlenswerte Vorkenntnisse[edit | edit source]
I'd say basic language theory, as taught in TU Wien:Theoretische Informatik und Logik VU (Fermüller, Oswald), is necessary and knowledge of register machines will reduce the effort, but you can just look them up online.
Vortrag[edit | edit source]
Übungen[edit | edit source]
WS20: the 4 exercises were just mentioned during the lecture, while we were discussing certain topics. You'd better write those down immediately, because the Prof usually does not write them down and make them available. They were not a lot of effort, but help to understand the topics. We didn't have to finish them for the next lecture, just upload them until the end of the semester. I don't know if he actually checks them, or just checks that we have uploaded files, the focus seems to be on getting us to think about the problems.
Prüfung, Benotung[edit | edit source]
According to Prof. Freund the grade depends on the presentation at the end, to some extent maybe on participation during his lectures, and having done the exercises.
The presentation was to be done in groups of 2 students, 15-30 [minutes] of time per person, each group chooses a topic from the topics covered by the lecture, but can be extended, at least, give further explanations of what has been said. The group is free to choose the topics!
Dauer der Zeugnisausstellung[edit | edit source]
WS20; 26.02.2021; 26.02.2021; same evening as the presentations
Zeitaufwand[edit | edit source]
Unterlagen[edit | edit source]
Tipps[edit | edit source]
When preparing your presentation: remember that Prof. Freund also has a lecture on presentation techniques.
He likes: using the same layout, colours and font size as he does. Dislikes: font too small; if your talk is too different from what he was talking about in the lecture, you might end up having to defend yourself, like your topic being too basic or using different syntax than he prefers.
He provides the latex sources for his slides, so it's quite easy to adapt them and add a few things, keeping his layout. In WS20 he also wanted us to upload the latex sources for our presentations, I assume he might end up using them, which I think is fair, since he also provided his.
Verbesserungsvorschläge / Kritik[edit | edit source]