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)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
-
Wintersemester 2023/24
- 626.012 VC Formal Methods in Informatics (2.0h / 4.0ECTS)
-
Wintersemester 2022/23
- 626.012 VC Formal Methods in Informatics (2.0h / 4.0ECTS)
-
Wintersemester 2018/19
- 626.012 VC Formal Methods in Informatics (2.0h / 4.0ECTS)
-
Sommersemester 2014
- 626.012 VO Advanced Probability Theory (2.0h / 4.0ECTS)
-
Wintersemester 2012/13
- 626.012 VK Research Methods for Computer Science (1.0h / 2.0ECTS)