626.012 (22W) Formal Methods in Informatics

Wintersemester 2022/23

Anmeldefrist abgelaufen.

Erster Termin der LV
13.10.2022 16:00 - 18:00 S.1.42 On 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 Präsenzlehrveranstaltung
Semesterstunde/n 2.0
ECTS-Anrechnungspunkte 4.0
Anmeldungen 5 (25 max.)
Organisationseinheit
Unterrichtssprache Englisch
mögliche Sprache/n der Leistungserbringung Englisch
LV-Beginn 13.10.2022
eLearning zum Moodle-Kurs

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

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
  • Theory of Machine Learning

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)

Prüfungsinhalt/e

Application of course content to the students' PhD project

Beurteilungskriterien/-maßstäbe

Presentation

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: 18W.1)
    • Fach: Studienleistungen gem. § 3 Abs. 2a des Curriculums (Pflichtfach)
      • Studienleistungen gem. § 3 Abs. 2a des Curriculums ( 0.0h XX / 32.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)
  • Doktoratsstudium Doktoratsstudium der Technischen Wissenschaften (SKZ: 786, 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 2023/24
  • 626.012 VC Formal Methods in Informatics (2.0h / 4.0ECTS)
Wintersemester 2020/21
  • 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)