TU Wien:Introduction to Logical Methods in Computer Science VO (Eiter)

Aus VoWi
Zur Navigation springen Zur Suche springen
Ähnlich benannte LVAs (Materialien):

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Ezio BartocciAgata CiabattoniThomas EiterChristian FermüllerRobert GanianGeorg GottlobRadu GrosuIgor KonnovLaura KovacsMatteo MaffeiMaria Magdalena Ortiz de la FuenteStefan SzeiderGeorg WeissenbacherStefan WoltranFlorian Zuleger
ECTS 3
Letzte Abhaltung 2022W
Sprache English
Mattermost introduction-to-logical-methods-in-computer-scienceRegisterMattermost-Infos
Links tiss:184766
Zuordnungen
E784165
E784175
E786175
E786881
E791881
E791884


Inhalt[Bearbeiten | Quelltext bearbeiten]

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

Ablauf[Bearbeiten | Quelltext bearbeiten]

noch offen

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]

noch offen

Vortrag[Bearbeiten | Quelltext bearbeiten]

noch offen

Übungen[Bearbeiten | Quelltext bearbeiten]

noch offen

Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]

noch offen

Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]

noch offen

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

noch offen

Unterlagen[Bearbeiten | Quelltext bearbeiten]

noch offen

Tipps[Bearbeiten | Quelltext bearbeiten]

noch offen

Highlights / Lob[Bearbeiten | Quelltext bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.