Description only available in german.

Material

Lecture slides PDF
02.03.2011	Organisatorisches	Download
02.03.2011	Einführung Funktionale Programmierung	Download
02.03.2011	Funktionale Programmierung: Listen	Download
02.03.2011	Funktionale Programmierung: Typen	Download
02.03.2011	Funktionale Programmierung: Kombinatoren, Funktionen höherer Ordnung	Download
02.03.2011	Funktionale Programmierung: Anwendungen	Download
02.03.2011	Funktionale Programmierung: Algebraische Datentypen	Download
02.03.2011	Funktionale Programmierung: Anwendungen Algebraischer Datentypen	Download
02.03.2011	Funktionale Programmierung: Validierung mit QuickCheck	Download
02.03.2011	Funktionale Programmierung: Lazyness	Download
02.03.2011	Funktionale Programmierung: Typklassen	Download
02.03.2011	Theoretische Grundlagen - Untypisierter λ-Kalkül	Download
02.03.2011	Theoretische Grundlagen - Regelsysteme, einfach typisierter λ-Kalkül	Download
02.03.2011	Theoretische Grundlagen - Typinferenz und Polymorphie	Download
02.03.2011	Logische Programmierung - Einführung	Download
02.03.2011	Logische Programmierung - Arithmetik und Listen, Cuts	Download
02.03.2011	Logische Programmierung - Unifikation und Resolution	Download
02.03.2011	Logische Programmierung - Beispiele	Download
02.03.2011	Logische Programmierung - Constraint Logic Programming	Download
02.03.2011	C / C++ for Java Developers	Download
02.03.2011	Parallelprogrammierung mit Scala	Download
02.03.2011	Distributed, concurrent programming with X10	Download
02.03.2011	Compiler - lexikalische Analyse, syntaktische Analyse	Download
02.03.2011	Compiler - semantische Analyse, Codeerzeugung	Download
04.04.2011	Parallelprogrammierung mit MPI-2	Download
Misc PDF
10.11.2010	Physikalische Einheiten mit Phantom-Typen	Download
Misc Sourcecode
03.02.2011	Beispielcompiler für die Simple Sprache	Download

Forum

Für Fragen, Hilfe und Gedankenaustausch zur Vorlesung Programmierparadigmen und zu den Übungen steht das Vorlesungsforum zur Verfügung.

Personnel

Department Head
Prof. Gregor Snelting

Former Staff Member
Dr.-Ing. Martin Hecker
Dr. rer. nat. Andreas Lochbihler
Dipl.-Inform. Matthias Braun