Theorie der Programmierung 2016

Detailed information

Most recent entry on 2016-07-13 

Faculty

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
2016-07-13
IdM-login
Milius, Stefan
Prof. Dr. Stefan Milius
2015-01-29
IdM-login
Schröder, Lutz
Prof. Dr. Stefan Milius
2017-07-27
Free

More courses in this category "Computer Science"

FLOSS
Prof. Dr. Dirk Riehle
2017-07-22
Free
Schober, Robert
Prof. Dr. Robert Schober
2013-07-15
Studon
Brune, Philipp
Prof. Dr. Philipp Brune
2019-08-19
Studon
Webkongress
Wolfgang Wiese
2018-09-14
Free