Neuigkeiten

23.10.2014	Die mündlichen Nachprüfungen zur Wiederholerklausur vom 23.09. finden am Dienstag, den 04.11.2014 statt. Betroffene Studenten melden sich bitte umgehend im Sekretariat des Lehrstuhls (Raum 026, Geb. 50.34), um den Termin zu bestätigen.
23.10.2014	Die Klausurergebnisse zur Wiederholerklausur vom 23.09. hängen in Geb. 50.34 gegenüber der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls aus.
03.09.201402.10.2014	Die Klausureinsicht der Wiederholerklausur findet am Dienstag, 28.10.2014 zwischen 14:00 Uhr und 16:00 Uhr13:00 Uhr und 15:00 Uhr im Raum 010 im Informatik-Gebäude (50.34) statt.
03.09.2014	Das Anmeldeende der Wiederholerklausur ist Freitag, 12.09.2014.
05.06.2014	Die Beispiellösung zur Hauptklausur ist nun verfügbar.
04.06.2014	Der Termin der Wiederholerklausur wurde bekannt gegeben. Die Anmeldung per Studierendenportal wird voraussichtlich ab dem 10.06.2014 möglich sein.
29.04.2014	Seit heute mittag hängen die Klausurnoten und die Teilnehmerliste für die mündlichen Nachprüfungen aus.
28.04.2014	Der Aushang der vorläufigen Klausurnoten wird sich voraussichtlich noch bis morgen (29.04.2014) mittag verzögern.
17.04.2014	Die Klausureinsicht für Teilnehmer der Hauptklausur findet am 30.04. statt. Der Zeitraum der mündlichen Nachprüfungen für Teilnehmer der Hauptklausur, welche wiederholt nicht bestanden haben, stehen auch bereits fest. Die Liste der hiervon betroffenen wird zusammen mit den vorläufigen Klausurnoten voraussichtlich bis zum 28.4. an der üblichen Stelle gegenüber der Informatik-Bibliothek ausgehängt. Dies wird dann auch hier nochmal bekannt gegeben.
07.04.2014	Die Hörsaalzuteilung für Teilnehmer der Hauptklausur ist nun veröffentlicht. Vergessen Sie nicht Ihren amtlichen Lichtbildausweis!

Klausuren

Klausur	Tag	Beginn	Ende	Ort
Hauptklausur	Donnerstag, 10.04.2014	14:00 Uhr	16:00 Uhr	Hörsaal am Forum (Audimax, Gebäude 30.95) Hörsaal am Fasanengarten(HSaF, Gebäude 50.35)
Wiederholerklausur	Dienstag, 23.09.2014	14:00 Uhr	16:00 Uhr	Hörsaal am Fasanengarten (HSaF, Gebäude 50.35)

Klausur-Formalitäten

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!

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!

Wiederholerklausur

Klausureinsicht Widerholerklausur

Die Klausureinsicht zur Wiederholerklausur findet am Dienstag, 28.10.2014 zwischen 13:00 Uhr und 15:00 in Raum 010, Informatik Gebäude (Geb. 50.34) statt.

Mündliche Nachprüfungen zur Wiederholerklausur

Für Teilnehmer der Wiederholerklausur, welche die Klausur wiederholt nicht bestanden haben, finden am mündliche Nachprüfungen statt. Die Matr.-Nummern der Betroffenen hängen zusammen mit den vorläufigen Klausurnoten aus. Betroffene melden sich bitte umgehend per E-Mail beim Sekretariat zur Bestätigung des Termins.

Hauptklausur

Zuteilung Hauptklausur

Matrikelnummer	Ort
0000000 bis 1633248	Hörsaal am Forum (Audimax, Gebäude 30.95)
1633249 bis 9999999	Hörsaal am Fasanengarten(HSaF, Gebäude 50.35)

Klausureinsicht Hauptklausur

Die Klausureinsicht zur Hauptklausur findet am Mittwoch, 30.04.2014 zwischen 14:00 Uhr und 16:00 in Raum 010, Informatik Gebäude (Geb. 50.34) statt.

Mündliche Nachprüfungen zur Hauptklausur

Für Teilnehmer der Hauptklausur, welche die Klausur wiederholt nicht bestanden haben, finden am sowie am mündliche Nachprüfungen statt. Die Matr.-Nummern der Betroffenen hängen zusammen mit den vorläufigen Klausurnoten aus. Betroffene melden sich bitte umgehend per E-Mail beim Sekretariat zur Bestätigung des Termins.

Inhalt

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

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

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

Das in dieser Vorlesung vermittelte Wissen wird in den zur Vorlesung gehörenden Übungen vertieft.

Vorlesung

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)

Termine

Die genauen Termine werden hier bekanntgegeben:

Tag	Beginn	Ende	Ort
Mittwoch, 23.10.2013	14:00	15:30	Hertz-Hörsaal
Freitag, 25.10.2013	14:00	15:30	Hertz-Hörsaal
Mittwoch, 30.10.2013	14:00	15:30	Hertz-Hörsaal
Freitag, 01.11.2013	14:00	15:30	Hertz-Hörsaal
Mittwoch, 06.11.2013	14:00	15:30	Hertz-Hörsaal
Freitag, 08.11.2013	14:00	15:30	Hertz-Hörsaal
Mittwoch, 13.11.2013	14:00	15:30	Hertz-Hörsaal
Freitag, 15.11.2013	14:00	15:30	Hertz-Hörsaal
Mittwoch, 20.11.2013	14:00	15:30	Hertz-Hörsaal
Mittwoch, 27.11.2013	14:00	15:30	Hertz-Hörsaal
Freitag, 29.11.2013	14:00	15:30	Hertz-Hörsaal
Mittwoch, 04.12.2013	14:00	15:30	Hertz-Hörsaal
Freitag, 06.12.2013	14:00	15:30	Hertz-Hörsaal
Mittwoch, 11.12.2013	14:00	15:30	Hertz-Hörsaal
Mittwoch, 18.12.2013	14:00	15:30	Hertz-Hörsaal
Mittwoch, 08.01.2014	14:00	15:30	Hertz-Hörsaal
Freitag, 10.01.2014	14:00	15:30	Hertz-Hörsaal
Mittwoch, 15.01.2014	14:00	15:30	Hertz-Hörsaal
Mittwoch, 22.01.2014	14:00	15:30	Hertz-Hörsaal
Freitag, 24.01.2014	14:00	15:30	Hertz-Hörsaal
Mittwoch, 29.01.2014	14:00	15:30	Hertz-Hörsaal
Freitag, 31.01.2014	14:00	15:30	Hertz-Hörsaal
Mittwoch, 05.02.2014	14:00	15:30	Hertz-Hörsaal
Freitag, 07.02.2014	14:00	15:30	Hertz-Hörsaal
Freitag, 14.02.2014	14:00	15:30	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
22.10.2013	Organisatorisches	Download
22.10.2013	Funktionale Programmierung: Einführung, Listen	Download
23.10.2013	Funktionale Programmierung: Funktionen höherer Ordnung, Kombinatoren	Download
23.10.2013	Funktionale Programmierung: Lazy Evaluation	Download
29.10.2013	Funktionale Programmierung: Typen, Beispiele fkt. Programmierung	Download
30.10.2013	Funktionale Programmierung: Algebraische Datentypen & Anwendungen	Download
07.11.2013	Funktionale Programmierung: Typklassen	Download
07.11.2013	Funktionale Programmierung: Zusatzfolien Monaden	Download
07.01.2014	Theoretische Grundlagen: Der untypisierte Lambda-Kalkül	Download
11.11.2013	Theoretische Grundlagen: Regelsysteme	Download
15.11.2013	Theoretische Grundlagen: Typinferenz	Download
15.11.2013	Theoretische Grundlagen: Polymorphie	Download
29.11.2013	Logische Programmierung: Einführung, Backtracking	Download
07.01.2014	Logische Programmierung: Arithmetik und Listen, Cuts	Download
09.12.2013	Logische Programmierung: Unifikation und Resolution	Download
18.12.2013	Logische Programmierung: Beispielprogramme, Constraint Logic Programming	Download
07.01.2014	Parallelprogrammierung: Grundlagen	Download
14.01.2014	Parallelprogrammierung: Scala	Download
15.01.2014	Parallelprogrammierung: X10	Download
22.01.2014	Parallelprogrammierung: C-Wiederholung	Download
27.01.2014	Parallelprogrammierung: MPI	Download
04.02.2014	Compiler: Lexikalische und syntaktische Analyse neu: Korrekturen und Layoutverbesserungen der Beispielautomaten auf den Folien 327/328	Download
31.01.2014	Compiler: Semantische Analyse	Download
31.01.2014	Compiler: Java-Bytecode und Codeerzeugung	Download

Sonstiges

Stand	Thema	Datei
24.03.2014	Beispielcompiler für Simple-Sprache	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

Ehemalige Mitarbeiter
Dr.-Ing. Martin Hecker
Dr.-Ing. Martin Mohr