TU Wien:Automaten und formale Sprachen VO (Kuich)
Zur Navigation springen
Zur Suche springen
Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.
Daten[Bearbeiten | Quelltext bearbeiten]
Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.
| Vortragende | Werner Kuich |
|---|---|
| ECTS | 3 |
| Sprache | English |
| Masterstudium Logic and Computation | |
| Masterstudium Software Engineering & Internet Computing | |
| Masterstudium Technische Informatik |
Inhalt[Bearbeiten | Quelltext bearbeiten]
Formale Sprachen und Automaten werden durch eine Verallgemeinerung auf Formale Potenzreihen und Automaten über Halbringen mathematisch präziser als üblich behandelt und sollen derart der Exaktifizierung zugänglich werden.
Ablauf[Bearbeiten | Quelltext bearbeiten]
tbd
Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]
tbd
Vortrag[Bearbeiten | Quelltext bearbeiten]
tbd
Übungen[Bearbeiten | Quelltext bearbeiten]
Siehe gleichnamige Übung
Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]
tbd
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
tbd
Unterlagen[Bearbeiten | Quelltext bearbeiten]
tbd
Tipps[Bearbeiten | Quelltext bearbeiten]
tbd