HOME | DEUTSCH | IMPRESSUM | KIT

Programming Paradigms

Description only available in german.

Material

Lecture Slides

StandThemaPDF
18.10.2011Organisatorisches Download
18.10.2011Funktionale Programmierung: Einführung Download
18.10.2011Funktionale Programmierung: Listen Download
25.10.2011Funktionale Programmierung: Funktionen höherer Ordnung Download
21.10.2011Funktionale Programmierung: Lambda und Bindung Download
20.10.2011Funktionale Programmierung: Kombinatoren Download
24.10.2011Funktionale Programmierung: Lazy Evaluation Download
24.10.2011Funktionale Programmierung: Typen Download
28.10.2011Funktionale Programmierung: Beispiel Download
28.10.2011Funktionale Programmierung: Algebraische Datentypen Download
28.10.2011Funktionale Programmierung: Anwendung algebraischer Datentypen Download
04.11.2011Funktionale Programmierung: Typklassen Download
04.11.2011Funktionale Programmierung: Validierung mit QuickCheck Download
09.11.2011Theoretische Grundlagen: Untypisierter Lambda-Kalkül Download
16.11.2011Theoretische Grundlagen: Regelsysteme Download
29.11.2011Theoretische Grundlagen: Typinferenz Download
01.12.2011Theoretische Grundlagen: Polymorphie Download
05.12.2011Logische Programmierung: Einführung Prolog Download
05.12.2011Logische Programmierung: Backtracking Download
13.12.2011Logische Programmierung: Arithmetik und Listen Download
13.12.2011Logische Programmierung: Unifikation und Resolution Download
13.12.2011Logische Programmierung: Der Cut Download
15.12.2011Logische Programmierung: Beispiele Download
16.12.2011Logische Programmierung: Constraint Logic Programming Download
11.01.2012Parallel-Programmierung: C / C++ for Java Developers Download
13.01.2012Parallel-Programmierung: MPI Parts 1,2 Download
18.01.2012Parallel-Programmierung: MPI Parts 3,4 Download
20.01.2012Parallel-Programmierung: X10 Download
25.01.2012Parallel-Programmierung: Scala Download
25.01.2012Compiler: Einführung Download
25.01.2012Compiler: Lexikalische Analyse Download
30.01.2012Compiler: Syntaktische Analyse Download
30.01.2012Compiler: Semantische Analyse Download
30.01.2012Compiler: Java Bytecode Download
30.01.2012Compiler: Codeerzeugung Download

Old Exams

SemesterBestehensquotePDF
Wintersemester 2016/2017 71,43% Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2017 39,06% Download (ohne Lösungen)
Download (mit Lösungen)
Wintersemester 2017/2018 71,11% Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2018 68,66% Download (ohne Lösungen)
Download (mit Lösungen)
Wintersemester 2018/2019 73,93% Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2019 72,60% Download (ohne Lösungen)
Download (mit Lösungen)
Sonderklausur Sommersemester 2020 71,68% Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2020 64,84% Download (ohne Lösungen)
Download (mit Lösungen)
Wintersemester 2020/2021 75,28% Download (ohne Lösungen)
Download (mit Lösungen)

Personnel

Department Head
Prof. Gregor Snelting
Former Staff Member
Dr.-Ing. Andreas Zwinkau