Programmierparadigmen

Klausuren

Klausur	Tag	Beginn	Ende	Ort
Hauptklausur	Dienstag, 27.03.2012	08:00h	10:00h	Hörsaal am Forum (Audimax, Gebäude 30.95)
Wiederholerklausur	Freitag, 21.09.2012	08:00h	10:00h	Hörsaal am Fasanengarten (HSaF, Gebäude 50.35)

Die Klausur hat einen Umfang von 120 Minuten. Zur Teilnahme an der Klausur ist neben dem Studierendenausweis ein gültiger, amtlicher Lichtbildausweis (Personalausweis,Führerschein, Reisepass) mitzubringen!

Wiederholerklausur

Die Wiederholerklausur findet am 21.09.2012 um 08:00 Uhr statt.Es gelten die selben Formalitäten wie bei der Hauptklausur. Die Anmeldung über das KIT-Studierendenportal wird ab dem 01.06.2012 bis zum 31.08.2012 möglich sein.

Jeder Student muss selbst kontrollieren, ob seine Anmeldung erfolgreich war. Eine verspätete Anmeldung bzw. Nachreichung ist nicht möglich.

Klausurergebnisse

Die Ergebnisse der Wiederholerklausur hängen ab jetzt gegenüber dem Sekretariat so wie im Foyer vor der Bibliothek im Informatik-Gebäude aus.

Klausureinsicht

Die Klausureinsicht für die Wiederholderklausur findet am 23.10.2012 um 12:30h im Raum 010, Informatik-Gebäude statt. Die Klausur ist nun in der Sammlung alter Klausuren online verfügbar.

Mündliche Nachprüfungen

Für Teilnehmer, welche die Klausur wiederholt nicht bestanden haben, findet am

Mittwoch 24.10. im Zeitraum 16:00-17:00

mündliche Nachprüfungen statt. Die Matr.-Nummern der Betroffenen sind ausgehängt. Betroffene melden sich bitte umgehend per e-Mail beim Sekretariat zur Bestätigung des Termins.

Hauptklausur

Mündliche Nachprüfungen

Für Teilnehmer der Klausur am 27.3., welche die Klausur Programmierparadigmen wiederholt nicht bestanden haben, finden am

Freitag, 4.5.2012 im Zeitraum zwischen 13:00 Uhr und 17:00 Uhr

im Raum 021, Gebäude 50.34 mündliche Nachprüfungen statt. Betroffene melden sich umgehend im Sekretariat bei Frau Sehan zur Bestätigung und Festlegung des genauen Termins.

Anmeldung zur Haupt-Klausur

Die Anmeldung zur Klausur erfolgt über das KIT-Studierendenportal, sobald diese freigeschaltet ist.

Die Anmeldung ist inzwischen freigeschaltet. Sie ist bis zum 13.03.2012 möglich.

Jeder Student muss selbst kontrollieren, ob seine Anmeldung erfolgreich war. Eine verspätete Anmeldung bzw. Nachreichung ist nicht möglich.

Zugelassene Hilfsmittel

Erlaubte Hilfsmittel für die Klausur sind alle Quellen in Papierform, insbesondere

Vorlesungsfolien der Veranstaltung Programmierparadigmen
Übungszettel und Beispiellösungen der Veranstaltung Programmierparadigmen
Bücher, Ausdrucke und beliebige eigenen Aufzeichnungen

Jegliche Elektronik (Mobiltelefon, Notebook, etc.) ist verboten!

Die Klausureinsicht findet am Mittwoch, 25.04.2012 um 14h im Raum 010, Informatik Gebäude (Geb. 50.34) statt.

Inhalt

In der Vorlesung Programmierparadigmen lernen die Teilnehmer nichtimperative Programmierung und ihre Anwendungsgebiete kennen. Im Einzelnen werden behandelt:

Funktionale Programmierung - rekursive Funktionen und Datentypen, Funktionen höherer Ordnung, Kombinatoren, lazy evaluation, Lamda-Kalkül, Typsysteme, Anwendungsbeispiele.
Logische Programmierung - Terme, Hornklauseln, Unifikation, Resolution, regelbasierte Programmierung, constraint logic programming, Anwendungen.
Parallelprogrammierung - message passing, verteilte Software, Aktorkonzept, Anwendungsbeispiele.
Elementare Grundlagen des Compilerbaus.

Es werden folgende Programmiersprachen (teils nur kurz) vorgestellt: Haskell, Scala, Prolog, CLP, C++, X10, Java Byte Code.

Aufbauend auf der Vorlesung Programmieren und der Vorlesung Softwaretechnik I vermittelt diese Vorlesung weiterführendes Wissen, welches in den zur Vorlesung gehörenden Übungen vertieft wird.

Termine

Vorlesungen

Die Vorlesung hat den Umfang von 3 SWS. Die wöchentlichen Termine finden während folgender Zeiträume statt:

Tag	Beginn	Ende	Ort
Mittwochs	14:00	15:30	Hertz Hörsaal, Raum 126 (Geb. 10.11)
Freitags	14:00	15:30	Hertz Hörsaal, Raum 126 (Geb. 10.11)

Die genauen Termine werden hier bekanntgegeben:

Tag	Beginn	Ende	Ort
Mittwoch, 19.10.2011	14:00h	15:30h	Hertz Hörsaal
Freitag, 21.10.2011	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 26.10.2011	14:00h	15:30h	Hertz Hörsaal
Freitag, 28.10.2011	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 02.11.2011	14:00h	15:30h	Hertz Hörsaal
Freitag, 04.11.2011	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 09.11.2011	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 16.11.2011	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 23.11.2011	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 30.11.2011	14:00h	15:30h	Hertz Hörsaal
Freitag, 02.12.2011	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 07.12.2011	14:00h	15:30h	Hertz Hörsaal
Freitag, 09.12.2011	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 14.12.2011	14:00h	15:30h	Hertz Hörsaal
Freitag, 16.12.2011	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 21.12.2011	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 11.01.2012	14:00h	15:30h	Hertz Hörsaal
Freitag, 13.01.2012	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 18.01.2012	14:00h	15:30h	Hertz Hörsaal
Freitag, 20.01.2012	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 25.01.2012	14:00h	15:30h	Hertz Hörsaal
Freitag, 27.01.2012	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 01.02.2012	14:00h	15:30h	Hertz Hörsaal
Mittwoch, 08.02.2012	14:00h	15:30h	Hertz Hörsaal
Freitag, 10.02.2012	14:00h	15:30h	Hertz Hörsaal

Unterlagen

Das Vorlesungsmaterial darf ausschließlich zu Zwecken genutzt werden, die in direktem Zusammenhang mit der Veranstaltung Programmierparadigmen stehen. Insbesondere die Weitergabe des hier zur Verfügung gestellten Materials an Dritte ist nicht gestattet. Vorlesungsfolien, Musterlösungen und hier veröffentlichter Quell-Code unterliegen dem Copyright des Lehrstuhls Programmierparadigmen (IPD Snelting).

Das Material kann nur aus dem Uni-Netz heruntergeladen werden. Verwenden Sie bitte den VPN-Client des SCC, falls Sie von außerhalb Zugriff benötigen.

Vorlesungsfolien

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

Altklausuren

Klausuren mit Beispiellösungen.

Semester	Bestehensquote	PDF
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)
Sommersemester 2021	67,82%	Download (ohne Lösungen)
		Download (mit Lösungen)
Wintersemester 2021/2022	79,67%	Download (ohne Lösungen)
		Download (mit Lösungen)
Sommersemester 2022	73,20%	Download (ohne Lösungen)
		Download (mit Lösungen)
Wintersemester 2022/2023	73,38%	Download (ohne Lösungen)
		Download (mit Lösungen)
Sommersemester 2023	72,16%	Download (ohne Lösungen)
		Download (mit Lösungen)

Veranstalter

Lehrstuhlinhaber
Prof. Gregor Snelting

Ehemalige Mitarbeiter
Dr.-Ing. Andreas Zwinkau