626.012 (20W) Formal Methods in Informatics

Wintersemester 2020/21

Beginn der Anmeldefrist
03.09.2020 00:00

Erster Termin der LV
02.10.2020 08:00 - 10:00 , S.2.69
Nächster Termin:
09.10.2020 08:00 - 10:00 , S.2.69

Ü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

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 Benotungsschema

Position 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)
  • 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)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

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)