TU Wien:Termersetzungssysteme VU (Moser)

From VoWi
Jump to navigation Jump to search

Daten[edit]

Lecturers Georg Moser
ECTS 3
Alias Term Rewriting Systems (en)
When summer semester
Last iteration 2021SS
Language English
Links tiss:185224, Homepage, Mattermost-Channel
Zuordnungen
E066011 Wahlmodul Lehrveranstaltungen an der TU Wien
Master Logic and Computation Wahlmodul Logic, Mathematics, and Theoretical Computer Science
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik


Inhalt[edit]

noch offen, bitte nicht von tiss oder Homepage kopieren, sondern aus Studierendensicht beschreiben.

Ablauf[edit]

noch offen

Benötigte/Empfehlenswerte Vorkenntnisse[edit]

noch offen

Vortrag[edit]

noch offen

Übungen[edit]

noch offen

Prüfung, Benotung[edit]

noch offen

Dauer der Zeugnisausstellung[edit]

noch offen

Zeitaufwand[edit]

noch offen

Unterlagen[edit]

noch offen

Tipps[edit]

noch offen

Verbesserungsvorschläge / Kritik[edit]

noch offen

Attachments

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