626.012 (18W) Formal Methods in Informatics

Wintersemester 2018/19

Anmeldefrist abgelaufen.

Erster Termin der LV
05.10.2018 09:00 - 10:00 , V.1.07 On Campus
... keine weiteren Termine bekannt

Überblick

Lehrende/r
LV-Titel englisch
Formal Methods in Informatics
LV-Art
Vorlesung-Kurs (prüfungsimmanente LV )
Semesterstunde/n
2.0
ECTS-Anrechnungspunkte
4.0
Anmeldungen
6 (25 max.)
Organisationseinheit
Unterrichtssprache
Englisch
LV-Beginn
05.10.2018
eLearning
zum Moodle-Kurs

Zeit und Ort

Liste der Termine wird geladen...

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
  • Descriptive 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 2020/21
  • 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)