Theorie der Programmierung [SerienID : 656]
Inhalt:
- 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
Semester
Sommersemester 2018
Lehrenden
Zugang via
Offener Zugang
aktualisiert
2018-04-16 15:34:06
Abonnements
2
-
# 1Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-04-09 Sommersemester 20181Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-04-09 Sommersemester 2018Offener Zugang
-
# 2Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-04-12 Sommersemester 20182Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-04-12 Sommersemester 2018Offener Zugang
-
# 3Offener ZugangTheorie der ProgrammierungChristoph Rauch2018-04-16 Sommersemester 2018
-
# 4Offener ZugangTheorie der ProgrammierungChristoph Rauch2018-04-19 Sommersemester 2018
-
# 5Offener ZugangTheorie der ProgrammierungChristoph Rauch2018-04-23 Sommersemester 2018
-
# 6Offener ZugangTheorie der ProgrammierungChristoph Rauch2018-04-26 Sommersemester 2018
-
# 7Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-04-30 Sommersemester 20187Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-04-30 Sommersemester 2018Offener Zugang
-
# 8Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-03 Sommersemester 20188Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-03 Sommersemester 2018Offener Zugang
-
# 9Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-07 Sommersemester 20189Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-07 Sommersemester 2018Offener Zugang
-
# 10Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-14 Sommersemester 201810Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-14 Sommersemester 2018Offener Zugang
-
# 11Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-17 Sommersemester 201811Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-17 Sommersemester 2018Offener Zugang
-
# 12Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-24 Sommersemester 201812Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-24 Sommersemester 2018Offener Zugang
-
# 13Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-28 Sommersemester 201813Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-05-28 Sommersemester 2018Offener Zugang
-
# 14Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-04 Sommersemester 201814Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-04 Sommersemester 2018Offener Zugang
-
# 15Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-07 Sommersemester 201815Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-07 Sommersemester 2018Offener Zugang
-
# 16Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-11 Sommersemester 201816Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-11 Sommersemester 2018Offener Zugang
-
# 17Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-14 Sommersemester 201817Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-14 Sommersemester 2018Offener Zugang
-
# 18Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-18 Sommersemester 201818Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-18 Sommersemester 2018Offener Zugang
-
# 19Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-21 Sommersemester 201819Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-21 Sommersemester 2018Offener Zugang
-
# 20Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-25 Sommersemester 201820Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-25 Sommersemester 2018Offener Zugang
-
# 21Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-28 Sommersemester 201821Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-06-28 Sommersemester 2018Offener Zugang
-
# 22Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-07-02 Sommersemester 201822Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-07-02 Sommersemester 2018Offener Zugang
-
# 23Offener ZugangTheorie der ProgrammierungChristoph Rauch2018-07-05 Sommersemester 201823Theorie der ProgrammierungChristoph Rauch2018-07-05 Sommersemester 2018Offener Zugang
-
# 24Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-07-09 Sommersemester 201824Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-07-09 Sommersemester 2018Offener Zugang
-
# 25Offener ZugangTheorie der ProgrammierungProf. Dr. Lutz Schröder2018-07-12 Sommersemester 201825Theorie der ProgrammierungProf. Dr. Lutz Schröder2018-07-12 Sommersemester 2018Offener Zugang
