TU Wien:AKLOG Logische Grundlagen des induktiven Beweisens UE (Hetzl)
Zur Navigation springen
Zur Suche springen
Ähnlich benannte LVAs (Materialien):
- AKLOG Logische Grundlagen des induktiven Beweisens UE (Hetzl) (TU Wien, 0 Materialien)
- AKLOG Logische Grundlagen des induktiven Beweisens VO (Hetzl) (TU Wien, 0 Materialien)
Daten[Bearbeiten | Quelltext bearbeiten]
| Vortragende | Stefan Hetzl |
|---|---|
| ECTS | 1,5 |
| Alias | AKLOG Logical foundations of inductive theorem proving (en) |
| Letzte Abhaltung | 2025S |
| Sprache | „bei bedarf in englisch“ ist kein zulässiger Sprachcode. |
| Mattermost | aklog-logische-grundlagen-des-induktiven-beweisens • Register • Mattermost-Infos |
| Links | tiss:104680 |
| Masterstudium Logic and Computation | Modul Logic, Mathematics, and Theoretical Computer Science (Gebundenes Wahlfach) |
Inhalt[Bearbeiten | Quelltext bearbeiten]
noch offen, bitte nicht von TISS/u:find 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