HOME | ENGLISH | IMPRESSUM | KIT

Programmierparadigmen

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

KlausurTagBeginnEndeOrt
HauptklausurDonnerstag, 10.04.201414:00 Uhr16:00 Uhr Hörsaal am Forum (Audimax, Gebäude 30.95)
Hörsaal am Fasanengarten(HSaF, Gebäude 50.35)
WiederholerklausurDienstag, 23.09.201414:00 Uhr16: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
Dienstag, den 04.11.2014 im Zeitraum 14:45-17:00 Uhr
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

MatrikelnummerOrt
0000000 bis 1633248Hörsaal am Forum (Audimax, Gebäude 30.95)
1633249 bis 9999999Hö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
Freitag, den 02.05.2014, im Zeitraum 10:00-17:00 Uhr
sowie am
Montag, den 05.05.2014, im Zeitraum 16:00-18:00 Uhr
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
Mittwochs14:0015:30Hertz-Hörsaal, Raum 126 (Geb. 10.11)
Freitags 14:0015:30Hertz-Hörsaal, Raum 126 (Geb. 10.11)

Termine

Die genauen Termine werden hier bekanntgegeben:

TagBeginnEndeOrt
Mittwoch, 23.10.201314:0015:30Hertz-Hörsaal
Freitag, 25.10.201314:0015:30Hertz-Hörsaal
Mittwoch, 30.10.201314:0015:30Hertz-Hörsaal
Freitag, 01.11.201314:0015:30Hertz-Hörsaal
Mittwoch, 06.11.201314:0015:30Hertz-Hörsaal
Freitag, 08.11.201314:0015:30Hertz-Hörsaal
Mittwoch, 13.11.201314:0015:30Hertz-Hörsaal
Freitag, 15.11.201314:0015:30Hertz-Hörsaal
Mittwoch, 20.11.201314:0015:30Hertz-Hörsaal
Mittwoch, 27.11.201314:0015:30Hertz-Hörsaal
Freitag, 29.11.201314:0015:30Hertz-Hörsaal
Mittwoch, 04.12.201314:0015:30Hertz-Hörsaal
Freitag, 06.12.201314:0015:30Hertz-Hörsaal
Mittwoch, 11.12.201314:0015:30Hertz-Hörsaal
Mittwoch, 18.12.201314:0015:30Hertz-Hörsaal
Mittwoch, 08.01.201414:0015:30Hertz-Hörsaal
Freitag, 10.01.201414:0015:30Hertz-Hörsaal
Mittwoch, 15.01.201414:0015:30Hertz-Hörsaal
Mittwoch, 22.01.201414:0015:30Hertz-Hörsaal
Freitag, 24.01.201414:0015:30Hertz-Hörsaal
Mittwoch, 29.01.201414:0015:30Hertz-Hörsaal
Freitag, 31.01.201414:0015:30Hertz-Hörsaal
Mittwoch, 05.02.201414:0015:30Hertz-Hörsaal
Freitag, 07.02.201414:0015:30Hertz-Hörsaal
Freitag, 14.02.201414:0015:30Hertz-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

StandThemaPDF
22.10.2013OrganisatorischesDownload
22.10.2013Funktionale Programmierung: Einführung, ListenDownload
23.10.2013Funktionale Programmierung: Funktionen höherer Ordnung, KombinatorenDownload
23.10.2013Funktionale Programmierung: Lazy EvaluationDownload
29.10.2013Funktionale Programmierung: Typen, Beispiele fkt. ProgrammierungDownload
30.10.2013Funktionale Programmierung: Algebraische Datentypen & AnwendungenDownload
07.11.2013Funktionale Programmierung: TypklassenDownload
07.11.2013Funktionale Programmierung: Zusatzfolien MonadenDownload
07.01.2014Theoretische Grundlagen: Der untypisierte Lambda-KalkülDownload
11.11.2013Theoretische Grundlagen: RegelsystemeDownload
15.11.2013Theoretische Grundlagen: TypinferenzDownload
15.11.2013Theoretische Grundlagen: PolymorphieDownload
29.11.2013Logische Programmierung: Einführung, BacktrackingDownload
07.01.2014Logische Programmierung: Arithmetik und Listen, CutsDownload
09.12.2013Logische Programmierung: Unifikation und ResolutionDownload
18.12.2013Logische Programmierung: Beispielprogramme, Constraint Logic ProgrammingDownload
07.01.2014Parallelprogrammierung: GrundlagenDownload
14.01.2014Parallelprogrammierung: ScalaDownload
15.01.2014Parallelprogrammierung: X10Download
22.01.2014Parallelprogrammierung: C-WiederholungDownload
27.01.2014Parallelprogrammierung: MPIDownload
04.02.2014Compiler: Lexikalische und syntaktische Analyse
neu: Korrekturen und Layoutverbesserungen der Beispielautomaten auf den Folien 327/328
Download
31.01.2014Compiler: Semantische AnalyseDownload
31.01.2014Compiler: Java-Bytecode und CodeerzeugungDownload

Sonstiges

StandThemaDatei
24.03.2014Beispielcompiler für Simple-SpracheDownload

Altklausuren

Klausuren mit Beispiellösungen.
StandThemaPDF
Sommersemester 2012 Klausur vom 21. September 2012 Download (ohne Lösungen)
Download (mit Lösungen)
Wintersemester 2012/2013 Klausur vom 10. April 2013 Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2013 Klausur vom 01. Oktober 2013 Download (ohne Lösungen)
Download (mit Lösungen)
Wintersemester 2013/2014 Klausur vom 10. April 2014 Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2014 Klausur vom 23. September 2014 Download (ohne Lösungen)
Download (mit Lösungen)
Wintersemester 2014/2015 Klausur vom 9. April 2015 Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2015 Klausur vom 21. September 2015 Download (ohne Lösungen)
Download (mit Lösungen)
Wintersemester 2015/2016 Klausur vom 7. April 2016 Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2016 Klausur vom 22. September 2016 Download (ohne Lösungen)
Download (mit Lösungen)

Veranstalter

Wissenschaftliche Mitarbeiter
Martin Hecker
Martin Mohr