Programmierparadigmen

Neuigkeiten

16.10.2017	Die Klausurergebnisse für die Klausur vom 25.09.2017 hängen aus (Gebäude 50.34, gegenüber von der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls Snelting).
13.10.2017	Mündliche Nachprüfungen für Studierende, die die Prüfung im Drittversuch nicht bestanden haben, werden am 19.10.2017 und 25.10.2017 stattfinden. Die Prüfungstermine für Studierende, die im Zweitversuch nicht bestanden haben, werden noch bekannt gegeben; diese finden voraussichtlich in der Woche vom 23.10.2017-27.10.2017 statt. Betroffene Studierende werden per E-Mail über ihren Nachprüfungstermin benachrichtigt. *Bitte melden Sie sich nach Erhalt dieser E-Mail so schnell wie möglich per Mail beim Sekretariat, um Ihren Termin zu bestätigen.*
11.10.2017	Hier der Terminplan des weiteren Ablaufs bezüglich der Klausur: Die Klausurergebnisse zur Klausur vom 25.09.2017 werden ~~voraussichtlich~~ am 16.10.2017 ausgehängt (Gebäude 50.34, gegenüber von der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls Snelting). Die Klausureinsicht findet am 17.10.2017 zwischen 13:00 Uhr und 14:30 Uhr im Raum 010 im Informatik-Gebäude (50.34) statt.
12.09.2017	Das Programmierparadigmen-Forum befindet sich nun im ILIAS. Die alten Beiträge sind noch im alten Forum lesbar.
08.06.2017	Die Anmeldung für die Klausur am 25.09.2017 ist nun freigeschaltet.
09.05.2017	Die Klausurergebnisse für die Klausur vom 06.04.2017 hängen aus (Gebäude 50.34, gegenüber von der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls Snelting)! Die Klausureinsicht findet am 11.05.2017 zwischen 13:15 Uhr und 15:30 Uhr im Raum -118 im Informatik-Gebäude (50.34) statt. Mündliche Nachprüfungen werden am 15.05.2017, 17.05.2017 und 19.05.2017 stattfinden. *Betroffene Studierende werden gebeten, sich nach Bekanntgabe der Ergebnisse so schnell wie möglich per Mail beim Sekretariat zu melden, um ihren Termin zu bestätigen.*
28.04.2017	Der Termin für die Klausur im SS2017 steht nun fest.
11.04.2017	Falls Sie eine 4.0-Bescheinigung benötigen, schreiben Sie bitte eine kurze diesbezügliche Mail an das Sekretariat und geben Sie Ihren vollen Namen und Ihre Matrikelnummer an. Sollten Sie Probleme mit Fristen bekommen, kommen Sie bitte zu Prof. Snelting in die Sprechstunde.
07.04.2017	Hier der vorläufige Terminplan des weiteren Ablaufs bezüglich der Klausur: Die Klausurergebnisse zur Klausur vom 06.04.2017 werden ~~voraussichtlich~~ am 09.05.2017 ausgehängt (Gebäude 50.34, gegenüber von der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls Snelting). Die Klausureinsicht findet ~~voraussichtlich~~ am 11.05.2017 zwischen 13:15 Uhr und 15:30 Uhr im Raum -118 im Informatik-Gebäude (50.34) statt. Etwaige mündliche Nachprüfungen werden ~~voraussichtlich~~ am 15.05.2017, 17.05.2017 und 19.05.2017 stattfinden. *Betroffene Studierende werden gebeten, sich nach Bekanntgabe der Ergebnisse so schnell wie möglich per Mail beim Sekretariat zu melden, um ihren Termin zu bestätigen.*
05.04.2017	Die Hörsaaleinteilung steht nun fest.
10.02.2017	Wie in der Vorlesung angekündigt, findet am Donnerstag, den 30.03.2017, um 11:30 Uhr im Raum -101 im Informatikbau (50.34) eine Fragestunde statt, in der Übungsleiter und Tutoren Fragen zum Vorlesungsstoff beantworten. Idealerweise schicken Sie schon vor dem Termin Ihre Fragen per E-Mail an die Übungsleiter (Simon Bischof, Martin Hecker) oder stellen Ihre Fragen im Forum.
26.01.2017	Am Dienstag, 07. Februar, kommt es für die Übungen zu folgenden Raumänderungen: Gruppe 6, 11:30 bis 13:00 Uhr, findet im Raum -120 Informatikbau (50.34) statt Gruppe 8, 14:00 bis 15:30 Uhr, findet im Raum 236 Informatikbau (50.34) statt
25.01.2017	Da die Vorlesungszeit in zwei Wochen endet, wird in den Übungen in der letzten Vorlesungswoche am Montag, 06. Februar, ausschließlich das Thema Parallelprogrammierung, und am Dienstag, 07. Februar, ausschließlich das Thema Compiler/Bytecode behandelt. Sie dürfen und sollten daher in dieser Woche zwei Übungstermine wahrnehmen.
23.01.2017	Die Anmeldung für die Klausur am 06.04.2017 ist freigeschaltet. Anmeldeschluss ist der 28.03.2017.
09.12.2016	Hinweis: Die hier veröffentlichten Vorlesungs- und Übungsunterlagen sind von den Änderungen rund um §52a UrhG nicht betroffen und bleiben auch nach dem 31.12.2016 hier verfügbar.
25.11.2016	Am Fr., 02.12.2016 findet die Vorlesung statt!.
17.11.2016	Die Vorlesung am Mi., 14.12.2016 entfällt. Stattdessen findet diese statt am Fr., 16.12.2016.
21.10.2016	Die WebInscribe-Einteilung für die Übungsgruppen ist jetzt verfügbar.
21.10.2016	Hinweis: Da am Dienstag, den 1.11.2016, ein Feiertag ist, bieten wir folgende Ersatztermine an: Lucas Werkmeister: Freitag, den 28.10.2016, 15:45-17:15 Uhr, Raum -119 Informatikbau (50.34) Jonas Sauer: Montag, den 31.10.2016, 9:45-11:15 Uhr, Raum 236 Informatikbau (50.34) Henning Dieterichs: Montag, den 31.10.2016, 17:30-19:00 Uhr, Raum 236 Informatikbau (50.34) Jonas Sauer: Mittwoch, den 2.11.2016, 15:45-17:15 Uhr, Raum 301 Informatikbau (50.34)

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, Lambda-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.

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

Klausuren

Prüfungszeitraum	Tag	Beginn	Ende	Ort
WS 2016/17	Donnerstag, 06.04.2017	14:00 Uhr	16:00 Uhr	Hörsaal am Forum (Audimax), Gebäude 30.95 Gerthsen-Hörsaal Gebäude 30.21
SS 2017	Montag, 25.09.2017	14:00 Uhr	16:00 Uhr	Hörsaal am Forum (Audimax), Gebäude 30.95

Zuteilung Klausur WS2016/17

Matrikelnummer	Ort
0000000 bis 1810000	Hörsaal am Forum (Audimax), Gebäude 30.95
1810001 bis 9999999	Gerthsen-Hörsaal Gebäude 30.21

in Haskell-Notation:

  hoersaalZuordnung stud
    | matr stud <= 1810000 = Audimax
    | matr stud >= 1810001 = Gerthsen

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!

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

Bitte achten Sie auf Änderungen zu diesem vorläufigen Terminplan, die hier und in der Vorlesung bekannt gegeben werden.

Tag	Datum	Beginn	Ende	Ort
Mittwoch	19.10.2016	14:00	15:30	Hertz-Hörsaal
Freitag	21.10.2016	14:00	15:30	Hertz-Hörsaal
Mittwoch	26.10.2016	14:00	15:30	Hertz-Hörsaal
Freitag	28.10.2016	14:00	15:30	Hertz-Hörsaal
Mittwoch	02.11.2016	14:00	15:30	Hertz-Hörsaal
-
Mittwoch	09.11.2016	14:00	15:30	Hertz-Hörsaal
Freitag	11.11.2016	14:00	15:30	Hertz-Hörsaal
Mittwoch	16.11.2016	14:00	15:30	Hertz-Hörsaal
-
Mittwoch	23.11.2016	14:00	15:30	Hertz-Hörsaal
Freitag	25.11.2016	14:00	15:30	Hertz-Hörsaal
Mittwoch	30.11.2016	14:00	15:30	Hertz-Hörsaal
Freitag	02.12.2016	14:00	15:30	Hertz-Hörsaal
Mittwoch	07.12.2016	14:00	15:30	Hertz-Hörsaal
Freitag	09.12.2016	14:00	15:30	Hertz-Hörsaal
Mittwoch	14.12.2016	14:00	15:30	Hertz-Hörsaal
Freitag	16.12.2016	14:00	15:30	Hertz-Hörsaal
-
-
Weihnachten
-
Mittwoch	11.01.2017	14:00	15:30	Hertz-Hörsaal
Freitag	13.01.2017	14:00	15:30	Hertz-Hörsaal
Mittwoch	18.01.2017	14:00	15:30	Hertz-Hörsaal
Freitag	20.01.2017	14:00	15:30	Hertz-Hörsaal
Mittwoch	25.01.2017	14:00	15:30	Hertz-Hörsaal
Freitag	27.01.2017	14:00	15:30	Hertz-Hörsaal
Mittwoch	01.02.2017	14:00	15:30	Hertz-Hörsaal
-
Mittwoch	08.02.2017	14:00	15:30	Hertz-Hörsaal
Freitag	10.02.2017	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
18.10.2016	Organisatorisches [v1.0.1]	Download
21.10.2016	Funktionale Programmierung: Einführung, Listen [v1.0.1]	Download
27.10.2016	Funktionale Programmierung: Funktionen höherer Ordnung, Kombinatoren [v1.0.3]	Download
27.10.2016	Funktionale Programmierung: Lazy Evaluation [v1.0.2]	Download
03.11.2016	Funktionale Programmierung: Typen, Beispiele fkt. Programmierung [v1.0.1]	Download
31.10.2016	Funktionale Programmierung: Algebraische Datentypen & Anwendungen [v1.0.2]	Download
31.10.2016	Funktionale Programmierung: Typklassen, QuickCheck [v1.0.1]	Download
07.11.2016	Funktionale Programmierung: Zusatzfolien Monaden	Download
09.11.2016	Theoretische Grundlagen: Der untypisierte Lambda-Kalkül	Download
25.11.2016	Theoretische Grundlagen: Regelsysteme, Typsysteme [v1.0.2]	Download
21.11.2016	Theoretische Grundlagen: Polymorphie	Download
23.11.2016	Logische Programmierung: Einführung, Backtracking	Download
30.11.2016	Logische Programmierung: Arithmetik und Listen, Cuts	Download
05.12.2016	Logische Programmierung: Beispielprogramme	Download
09.12.2016	Logische Programmierung: Spracherweiterungen	Download
09.12.2016	Logische Programmierung: Unifikation und Resolution [v1.0.1] [v1.0.1] geänderte Seitenzahlen	Download
09.12.2016	Logische Programmierung: Constraint Logic Programming	Download
14.12.2016	Typinferenz	Download
09.01.2017	Parallelprogrammierung: Grundlagen	Download
09.01.2017	Parallelprogrammierung: C/C++-Wiederholung	Download
11.01.2017	Parallelprogrammierung: MPI	Download
16.01.2017	Parallelprogrammierung: Java	Download
18.01.2017	Parallelprogrammierung: Aktormodell	Download
23.01.2017	Parallelprogrammierung: X10	Download
23.01.2017	Design by Contract	Download
25.01.2017	Compiler: Einführung	Download
01.02.2017	Compiler: Lexikalische und syntaktische Analyse [v1.0.1]	Download
30.01.2017	Compiler: Semantische Analyse	Download
09.02.2017	Compiler: Java-Bytecode und Codeerzeugung [v1.0.3]	Download
08.02.2017	Werbung: Veranstaltungen im SS2017	Download

Der Foliensatz (Snelting-Teil) zum Download: [PDF] [PDF4].
Der Foliensatz (Snelting-Teil) als Druckversion zum Download: [PDF] [PDF4]
Bemerkung: Bei der Druckversion kann es zu Darstellungsfehlern kommen, weil nicht alle Animationen sinnvoll zu einer Folie zusammengefasst werden konnten!

Sonstiges

Stand	Thema	Datei
14.12.2016	Beispielimplementierungen Typinferenz (Haskell, Prolog) und Unifikation (Union/Find und Robinson, Haskell)	Download
28.01.2017	Beispielcompiler für Simple-Sprache	Download

Lambda-Kalkül mit Krokodilen als Android-App

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)

Kneipenquiz

Kneipenquiz-Aufgaben aus dem Bereich KIT, Programmierparadigmen und Programmiersprachen.

Edition	Thema	PDF
Wintersemester 2011/2012	Programmiersprachen und Algorithmen	Download (ohne Lösungen)
		Download (mit Lösungen)
Wintersemester 2012/2013	Historische Veröffentlichungen der Informatik	Download (ohne Lösungen)
		Download (mit Lösungen)
Wintersemester 2013/2014	Informatik am KIT - Dissertationen	Download (ohne Lösungen)
		Download (mit Lösungen)
Wintersemester 2014/2015	Quellcode in Film und Fernsehen	Download (ohne Lösungen)
		Download (mit Lösungen)
Wintersemester 2015/2016	Science Fiction	Download (ohne Lösungen)
		Download (mit Lösungen)
Wintersemester 2016/2017	Um die Ecke-Rätsel, Zitate	Download (ohne Lösungen)
		Download (mit Lösungen)
Wintersemester 2017/2018	Ahnengallerie	Download (ohne Lösungen)
		Download (mit Lösungen)
Wintersemester 2019/2020	Anagramme	Download (ohne Lösungen)
		Download (mit Lösungen)
Wintersemester 2022/2023	Straßen	Download (ohne Lösungen)
		Download (mit Lösungen)

Veranstalter

Lehrstuhlinhaber
Prof. Gregor Snelting

Ehemalige Mitarbeiter
Dr.-Ing. Martin Hecker
M.Sc. Simon Bischof