Neuigkeiten
16.10.2019 | Auf Blatt 0 war ein ungültiger Link zu WebInscribe. Dies wurde behoben. |
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 (CLP), Anwendungen.
- Parallelprogrammierung - message passing (MPI), verteilte Software, Aktorkonzept, Anwendungsbeispiele.
- Elementare Grundlagen des Compilerbaus.
Es werden folgende Programmiersprachen (teils nur kurz) vorgestellt: Haskell, Prolog (CLP), Rust, C++ (MPI), 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 2019/20 | Dienstag, 24.03.2020 | 11:00 Uhr | 13:00 Uhr | Hörsaal am Forum (Audimax), Gebäude 30.95 Hörsaal am Fasanengarten Gebäude 50.35 |
Klausur-Formalitäten
Die Klausur hat einen Umfang von 30 Minuten (Funktionale Programmierung) bzw. 120 Minuten (Programmierparadigmen). 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 | 16.10.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Freitag | 18.10.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 23.10.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Freitag | 25.10.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 30.10.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 06.11.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Freitag | 08.11.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 13.11.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 20.11.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Freitag | 22.11.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 27.11.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Freitag | 29.11.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 04.12.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Freitag | 06.12.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 11.12.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 18.12.2019 | 14:00 | 15:30 | Hertz-Hörsaal |
Weihnachten | ||||
Mittwoch | 08.01.2020 | 14:00 | 15:30 | Hertz-Hörsaal |
Freitag | 10.01.2020 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 15.01.2020 | 14:00 | 15:30 | Hertz-Hörsaal |
Freitag | 17.01.2020 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 22.01.2020 | 14:00 | 15:30 | Hertz-Hörsaal |
Freitag | 24.01.2020 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 29.01.2020 | 14:00 | 15:30 | Hertz-Hörsaal |
Freitag | 31.01.2020 | 14:00 | 15:30 | Hertz-Hörsaal |
Mittwoch | 05.02.2020 | 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 | |
---|---|---|
16.10.2019 | Organisatorisches | Download |
16.10.2019 | Funktionale Programmierung: Einführung, Listen | Download |
17.10.2020 | Funktionale Programmierung: Funktionen höherer Ordnung, Kombinatoren | Download |
18.10.2019 | Funktionale Programmierung: Lazy Evaluation | Download |
25.10.2019 | Funktionale Programmierung: Typen, Beispiele fkt. Programmierung | Download |
31.10.2019 | Funktionale Programmierung: Algebraische Datentypen & Anwendungen | Download |
07.11.2019 | Funktionale Programmierung: Typklassen, QuickCheck | Download |
07.11.2019 | Funktionale Programmierung: Zusatzfolien Monaden | Download |
11.11.2019 | Theoretische Grundlagen: Der untypisierte Lambda-Kalkül | Download |
22.11.2019 | Theoretische Grundlagen: Regelsysteme, Typsysteme[v1.1][v1.1]
| Download |
22.11.2019 | Theoretische Grundlagen: Polymorphie | Download |
26.11.2019 | Logische Programmierung: Einführung, Backtracking | Download |
27.11.2019 | Logische Programmierung: Arithmetik und Listen, Cuts | Download |
02.12.2019 | Logische Programmierung: Beispielprogramme | Download |
02.12.2019 | Logische Programmierung: Spracherweiterungen | Download |
05.12.2019 | Logische Programmierung: Unifikation und Resolution | Download |
05.12.2019 | Logische Programmierung: Constraint Logic Programming | Download |
11.12.2019 | Typinferenz | Download |
Altklausuren
Klausuren mit Beispiellösungen.Stand | Thema | |
---|---|---|
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) | ||
Sommersemester 2017 | Klausur vom 25. September 2017 | Download (ohne Lösungen) |
Download (mit Lösungen) | ||
Wintersemester 2017/2018 | Klausur vom 5. April 2018 | Download (ohne Lösungen) |
Download (mit Lösungen) | ||
Sommersemester 2018 | Klausur vom 26. September 2018 | Download (ohne Lösungen) |
Download (mit Lösungen) | ||
Wintersemester 2018/2019 | Klausur vom 4. April 2019 | Download (ohne Lösungen) |
Download (mit Lösungen) | ||
Sommersemester 2019 | Klausur vom 30. September 2019 | Download (ohne Lösungen) |
Download (mit Lösungen) |
Kneipenquiz
Kneipenquiz-Aufgaben aus dem Bereich KIT, Programmierparadigmen und Programmiersprachen.Edition | Thema | |
---|---|---|
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) |
Veranstalter
Lehrstuhlinhaber |
---|
Prof. Gregor Snelting |
Wissenschaftliche Mitarbeiter |
---|
Sebastian Graf |
Maximilian Wagner |