PodParley PodParley
PodParley PodParley
Log in

Theorie der Programmierung

Episode 20 of the Theorie der Programmierung podcast, hosted by Prof. Dr. Lutz Schröder, titled "Theorie der Programmierung" was published on July 12, 2017 and runs 87 minutes.

July 12, 2017 ·87m · Theorie der Programmierung

0:00 / 0:00

Summary

Theorie der Programmierung

Episode Description

Theorie der Programmierung

Share this episode

Similar Episodes

Theorie der Programmierung

Jun 27, 2018 ·87m

Theorie der Programmierung

Jun 17, 2018 ·82m

Theorie der Programmierung

Jun 13, 2018 ·76m

Theorie der Programmierung

Jun 10, 2018 ·83m

Theorie der Programmierung

May 27, 2018 ·79m

Theorie der Programmierung

May 23, 2018 ·68m

Similar Podcasts

Theorie der Programmierung Series ID: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 Theorie der Programmierung 2015 (Audio) Prof. Dr. Lutz Schröder Theorie der Programmierung Course ID:547 Prof. Dr. Lutz Schröder Einführung in die Programmiertechnik II (SS 2018) - tele-TASK Prof. Dr. Andreas Polze Die Lehrveranstaltung vermittelt Theorie und Praxis der Programmierung von Software am Beispiel der Sprachen Java und Prolog.Diskutiert werden Algorithmen und Datenstrukturen zum Sortieren und Suchen, Graphenalgorithmen, Algorithmen und Datenstrukturen zur Implementierung objekt-orientierter Sprachen sowie die deklarative Programmierung. Diese Inhalte werden in den allgemeineren Kontext der Softwareproduktion eingebettet.Die Vorlesungsinhalte umfassen unter anderem: Objektorientierte Programmierung Typen, Module, Klassen und Objekte Einführung in die Sprache Java Analyse von Algorithmen Modultest und Test-Driven Development Datentypen in Java Elementare & optimierte Sortieralgorithmen Datenstrukturen und Algorithmen zur Suche Logische Programmierung mit Prolog
URL copied to clipboard!