626.012 (20W) Formal Methods in Informatics
Überblick
- Lehrende/r
- LV-Titel englisch
- Formal Methods in Informatics
- LV-Art
- Vorlesung-Kurs (prüfungsimmanente LV )
- Semesterstunde/n
- 2.0
- ECTS-Anrechungspunkte
- 4.0
- Anmeldungen
- 0 (25 max.)
- Organisationseinheit
- Unterrichtssprache
- Englisch
- LV-Beginn
- 02.10.2020
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
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/Grade 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)