TU Wien:Formal Language Theory VU (Freund)

From VoWi
Jump to navigation Jump to search


Lecturers Rudolf Freund
Alias Formal Language Theory (en)
Department Logic and Computation
When winter semester
Last iteration 2020WS
Language "if required in english" was not recognized as a supported language code.
Links tiss:185A42
Master Logic and Computation Wahlmodul Logic, Mathematics, and Theoretical Computer Science
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik

Mattermost: Channel "formal-language-theory"RegisterMattermost-Infos


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).


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]

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.


noch offen


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]

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]

WS20; 26.02.2021; 26.02.2021; same evening as the presentations


noch offen


noch offen


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]

noch offen


This page has no attachments yet but you can add some.