626.012 (20W) Formal Methods in Informatics
Überblick
Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter: https://www.aau.at/corona.
- Lehrende/r
- LV-Titel englisch
- Formal Methods in Informatics
- LV-Art
- Vorlesung-Kurs (prüfungsimmanente LV )
- LV-Modell
- Onlinelehrveranstaltung
- Semesterstunde/n
- 2.0
- ECTS-Anrechnungspunkte
- 4.0
- Anmeldungen
- 3 (25 max.)
- Organisationseinheit
- Unterrichtssprache
- Englisch
- LV-Beginn
- 16.10.2020
- eLearning
- zum Moodle-Kurs
- Anmerkungen
-
Die Vorbesprechung wird am 16.10. stattfinden. Der angegeben Zeitplan ist ein Platzhalter - wir werden die tatsaechlichen Treffen waehrend der Vorbesprechung festlegen. Es ist wahrscheinlich, dass diese LVA als Block abgehalten wird.
Zeit und Ort
LV-Beschreibung
Intendierte Lernergebnisse
The course introduces a selection of tools and formal methods applicable to diverse problems in computer science.
Lehrmethodik inkl. Einsatz von eLearning-Tools
Lecture part introducing a set of selected topics, and student talks to stimulate discussions about individual formal topics (to acquire input and thoughts from fellow scientists).
Inhalt/e
Student talks about their own Ph.D-related topics complement the mix of contents, which includes (at least):
- Formal Logic
- Computational Complexity
- Aspects of data science (data quality, empirical complexity, ...)
- Probabilistic Methods
Prüfungsinformationen
Prüfungsmethode/n
The final mark is based on the assessment of the talk, where the quality of presentation is measured in four dimensions:
- Talk content (depth)
- Slide design
- Presentation style
- Duration of the talk (adherence to time limits)
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Doktoratsprogramm Informatics
(SKZ: ---, Version: 17W.1)
-
Fach: Informatics
(Pflichtfach)
-
Informatics (
0.0h XX / 0.0 ECTS)
- 626.012 Formal Methods in Informatics (2.0h VC / 4.0 ECTS)
-
Informatics (
0.0h XX / 0.0 ECTS)
-
Fach: Informatics
(Pflichtfach)
- Doktoratsstudium Doktoratsstudium der Technischen Wissenschaften
(SKZ: 700, Version: 12W.4)
-
Fach: Studienleistungen gem. § 3 Abs. 2a des Curriculums
(Pflichtfach)
-
Studienleistungen gem. § 3 Abs. 2a des Curriculums (
16.0h XX / 32.0 ECTS)
- 626.012 Formal Methods in Informatics (2.0h VC / 4.0 ECTS)
-
Studienleistungen gem. § 3 Abs. 2a des Curriculums (
16.0h XX / 32.0 ECTS)
-
Fach: Studienleistungen gem. § 3 Abs. 2a des Curriculums
(Pflichtfach)