Theorie der Programmierung 2016 /CourseID:794

Detailed information

Most recent entry on 2016-07-13 

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Language

German

  • Termersetzungssysteme, Normalisierung, Konfluenz
  • Getypter und ungetypter Lambda-Kalkül

  • Semantik von Programmiersprachen, Anfänge der Bereichstheorie

  • Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion

  • Programmverifikation, Floyd-Hoare-Kalkül

  • Reguläre Sprachen und endliche Automaten

  • Beschriftete Transitionssysteme, Bisimulation und Temporallogik

Lernziele und Kompetenzen:

 

Fachkompetenz
Wissen
Die Studierenden geben elementare Definitionen und Fakten zu den behandelten Formalismen wieder.
Verstehen
Die Studierenden 
  • erläutern Grundbegriffe der Syntax und Semantik von Formalismen und setzen diese zueinander in Bezug

  • beschreiben und erklären grundlegende Algorithmen zu logischem Schließen und Normalisierung

  • beschreiben wichtige Konstruktionen von Modellen, Automaten und Sprachen

Anwenden
Die Studierenden 
  • verfassen formale Spezifikationen sequentieller und nebenläufiger Programme

  • verifizieren einfache Programme gegenüber ihrer Spezifikation durch Anwendung der relevanten Kalküle

  • setzen formale Sprachen mit entsprechenden Automaten in Beziehung

  • führen einfache Beweise über Programme mittels Induktion und Koinduktion

Analysieren
Die Studierenden
  • wählen für gegebene Verifikationsprobleme geeignete Formalismen aus

  • erstellen einfache Meta-Analysen formaler Systeme, etwa Konfluenzprüfung von Termersetzungssystemen

    • führen einfache Meta-Beweise über Formalismen mittels Induktion und Koinduktion

Lern- bzw. Methodenkompetenz
Die Studierenden beherrschen das grundsätzliche Konzept des Beweises als hauptsächliche Methode des Erkenntnisgewinns in der theoretischen Informatik. Sie überblicken abstrakte Begriffsarchitekturen.
Sozialkompetenz
Die Studierenden lösen abstrakte Probleme in kollaborativer Gruppenarbeit.

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-04-12
IdM-login
01:26:07
2
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-04-13
IdM-login
01:29:17
3
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-04-19
IdM-login
01:21:21
4
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-04-20
IdM-login
01:18:39
5
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-04-26
IdM-login
01:28:12
6
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-04-27
IdM-login
01:33:06
7
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-05-03
IdM-login
01:24:25
8
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-05-04
IdM-login
01:25:03
9
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-05-10
IdM-login
01:30:01
10
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-05-11
IdM-login
01:34:31
11
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-05-18
IdM-login
01:32:35
12
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-05-24
IdM-login
01:27:04
13
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-05-25
IdM-login
01:30:32
14
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-05-31
IdM-login
01:26:37
15
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-06-01
IdM-login
01:25:33
16
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-06-07
IdM-login
01:27:28
17
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-06-08
IdM-login
01:26:06
18
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-06-14
IdM-login
01:23:54
19
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-06-15
IdM-login
01:22:25
20
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-06-21
IdM-login
01:24:05
21
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-06-22
IdM-login
01:15:54
22
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-06-28
IdM-login
01:27:10
23
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-06-29
IdM-login
01:29:24
24
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-07-05
IdM-login
01:27:12
25
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-07-06
IdM-login
01:20:30
26
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-07-12
IdM-login
01:24:56
27
Theorie der Programmierung
Prof. Dr. Stefan Milius
2016-07-13
IdM-login
01:23:11

More courses from Prof. Dr. Stefan Milius

Milius, Stefan
Prof. Dr. Stefan Milius
2018-02-05
Free
Milius, Stefan
Prof. Dr. Stefan Milius
2019-02-05
Passwort
Milius, Stefan
Prof. Dr. Stefan Milius
2016-07-13
IdM-login

More courses in this category "Technische Fakultät"

Schloss1
Dipl.-Ing. Susanne Michler
2020-06-09
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-02
Free
Schloss1
Prof. Dr. Reinhard German
2020-04-17
Studon
Schloss1
Prof. Dr. Richard Lenz
2020-06-29
Studon
Sieh, Volkmar
Dr. Volkmar Sieh
2017-07-20
IdM-login