626.012 (23W) Formal Methods in Informatics

Wintersemester 2023/24

Kein Anmeldezeitraum angegeben.

Erster Termin der LV
12.10.2023 14:00 - 16:00 S.1.42 On Campus
... keine weiteren Termine bekannt

Überblick

Lehrende/r
LV-Titel englisch Formal Methods in Informatics
LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
LV-Modell Blended-Learning-Lehrveranstaltung
Online-Anteil 30%
Semesterstunde/n 2.0
ECTS-Anrechnungspunkte 4.0
Anmeldungen 6 (25 max.)
Organisationseinheit
Unterrichtssprache Englisch
mögliche Sprache/n der Leistungserbringung Englisch
LV-Beginn 12.10.2023
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
  • 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

Computational Learning Theory – An Introduction
Computational Complexity
Logic - An Overview
Nonmonotonic Logic


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 2022/23
  • 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)