Difference between revisions of "TU Wien:Seminar Formale Methoden SE (diverse)"

From VoWi
Jump to navigation Jump to search
(mw_vowi)
(fixe LVA-Daten (lva_fixer.py))
 
Line 4: Line 4:
 
| vortragende = [[tiss.person:191912|Laura Kovacs]], [[tiss.person:251491|Georg Weissenbacher]], [[tiss.person:191914|Florian Zuleger]]
 
| vortragende = [[tiss.person:191912|Laura Kovacs]], [[tiss.person:251491|Georg Weissenbacher]], [[tiss.person:191914|Florian Zuleger]]
 
| abteilung = Logic and Computation
 
| abteilung = Logic and Computation
| tiss = 181221
+
| id = 181221
 
| wann = beide
 
| wann = beide
 
| sprache = en
 
| sprache = en
Line 53: Line 53:
 
== Verbesserungsvorschläge / Kritik ==
 
== Verbesserungsvorschläge / Kritik ==
 
noch offen
 
noch offen
 
  
 
<!-- Um den Artikel inhaltlich richtig einzuordnen bitte die Kategorien, die nicht auf diese LVA zutreffen, und die Kommentare löschen.
 
<!-- Um den Artikel inhaltlich richtig einzuordnen bitte die Kategorien, die nicht auf diese LVA zutreffen, und die Kommentare löschen.
  
 
[[Kategorie:Theoretische Informatik und Logik]]-->
 
[[Kategorie:Theoretische Informatik und Logik]]-->

Latest revision as of 20:06, 10 June 2019

Daten[edit]

Lecturers Laura Kovacs, Georg Weissenbacher, Florian Zuleger
ECTS 3
Department Logic and Computation
When winter and summer semester
Language English
Links tiss:181221 , Mattermost-Channel
Zuordnungen
Master Embedded Systems Wahlmodul Formale Methoden - Vertiefung
Master Logic and Computation Wahlmodul Programming Languages and Verification
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik

Mattermost: Channel "seminar-formale-methoden"RegisterMattermost-Infos

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.