TU Wien:Formal Language Theory VU (Freund)

From VoWi
Jump to navigation Jump to search

Daten[edit | edit source]

Lecturers Rudolf Freund
Alias Formal Language Theory (en)
Department Logic and Computation
When winter semester
Last iteration 2022WS
Language "if required in english" was not recognized as a supported language code.
Mattermost formal-language-theoryRegisterMattermost-Infos
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

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]

noch offen

Ü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]

noch offen

Unterlagen[edit | edit source]

noch offen

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]

noch offen


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