TU Wien:Introduction to the Coq proof assistant VU (Ciabattoni)
Zur Navigation springen
Zur Suche springen
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 | Agata Ciabattoni |
|---|---|
| ECTS | 3 |
| Letzte Abhaltung | 2020S |
| Sprache | English |
| Mattermost | introduction-to-the-coq-proof-assistant • Register • Mattermost-Infos |
| Links | tiss:192098, eLearning |
| Masterstudium Data Science | |
| Masterstudium Logic and Computation | |
| Masterstudium Software Engineering & Internet Computing | |
| Katalog 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