TU Wien:Introduction to the Coq proof assistant VU (Ciabattoni)

Aus VoWi
Zur Navigation springen Zur Suche springen

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Agata Ciabattoni
ECTS 3
Letzte Abhaltung 2020S
Sprache English
Mattermost introduction-to-the-coq-proof-assistantRegisterMattermost-Infos
Links tiss:192098, eLearning
Zuordnungen
Masterstudium Data Science Wahlmodul Freie Wahlfächer
Masterstudium Logic and Computation Wahlmodul Logic, Mathematics, and Theoretical Computer Science
Masterstudium Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik
Katalog Freie Wahlfächer Wahlmodul Freie Wahlfächer


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

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen

Materialien

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