626.012 (20W) Formal Methods in Informatics

Wintersemester 2020/21

Anmeldefrist abgelaufen.

Erster Termin der LV
16.10.2020 08:00 - 10:00 online Off Campus
... keine weiteren Termine bekannt

Überblick

Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Präsenz-Lehreveranstaltungen und Umstellung auf Online-Prüfungen) erforderlich sein.

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

Beachten Sie bitte, dass sich aufgrund von COVID-19-Maßnahmen die derzeit angezeigten Termine noch ändern können.
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
  • Computational Complexity
  • Aspects of data science (data quality, empirical complexity, ...)
  • Probabilistic Methods

Prüfungsinformationen

Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.

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