Neuigkeiten
| 16.4.2024 | Die Klausureinsicht findet am Freitag, 19.04.2024, von 8:00 bis 9:30 im Hörsaal -101 im Informatik-Gebäude (50.34) statt, bitte seien Sie pünktlich. Vorläufige Ergebnisse werden noch im Laufe des Tages im Campus-System veröffentlicht. Den Notenschlüssel zur Klausur finden Sie hier (Lehramt: hier). |
| 28.3.2024 | Falls Sie für eine Arbeitsstelle o.ä. eine 4,0-Bescheinigung benötigen, schreiben Sie bitte (aber nicht vor dem 15.4.) 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. Für eine Ummeldung zum Master zum SS2024 sollten die Noten rechtzeitig eingetragen sein, da die Ummeldung noch bis Ende Mai erfolgen kann. Sie sollten in diesem Fall keine 4,0-Bescheinigung benötigen. |
| 20.03.2024 |
Studierende, die sich mit einer 4,0-Bescheinigung in TGI für die Klausur anmelden wollen, wenden sich bitte an das ISS. |
| 08.03.2024 |
Am 20.3. um 14:00 Uhr findet im Hörsaal -101 des Informatikgebäudes (50.34) eine Fragestunde zum Stoff der Vorlesung und zur Klausur statt. Fragen können auch vorher gerne an Sebastian Graf oder Jakob von Raumer gesendet werden. |
| 08.01.2024 |
Am 11.01. fällt die Übung aus. |
| 14.11.2023 |
Am 17.11. fällt die Vorlesung aus. |
| 23.10.2023 |
Wegen Kollision mit "Grundlagen der künstlichen Intelligenz" wurde der wöchentliche Übungstermin auf Donnerstags, 14:00 im Messtechnik-Hörsaal verschoben. Außerdem wurden Termine für Online-Tutorien angekündigt. Die erste Übung findet am 2.11. 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, 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.
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 | 25.10.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 27.10.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| - | ||||
| Freitag | 03.11.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 08.11.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 10.11.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 15.11.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| - | ||||
| Mittwoch | 22.11.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 24.11.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 29.11.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 01.12.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| - | ||||
| Freitag | 08.12.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 13.12.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 15.12.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 20.12.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| - | ||||
| Weihnachten | ||||
| - | ||||
| Mittwoch | 10.01.2024 | 14:00 | 15:30 | Hertz-Hörsaal |
| - | ||||
| Mittwoch | 17.01.2024 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 19.01.2024 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 24.01.2024 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 26.01.2024 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 31.01.2024 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 02.02.2024 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 07.02.2024 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 09.02.2024 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 14.02.2024 | 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
| Nr. | Stand | Thema | |
|---|---|---|---|
| 00 | 08.11.2023 | Organisatorisches | Download |
| 10 | 25.10.2023 | Funktionale Programmierung: Einführung, Listen | Download |
| 11 | 08.11.2023 | Funktionale Programmierung: Funktionen höherer Ordnung, Kombinatoren | Download |
| 12 | 14.11.2023 | Funktionale Programmierung: Lazy Evaluation | Download |
| 13 | 10.11.2023 | Funktionale Programmierung: Typen, Beispiele fkt. Programmierung | Download |
| 14 | 01.11.2023 | Funktionale Programmierung: Algebraische Datentypen & Anwendungen | Download |
| 15 | 14.11.2023 | Funktionale Programmierung: Typklassen, QuickCheck | Download |
| 16 | 14.11.2023 | Funktionale Programmierung: Zusatzfolien Monaden | Download |
| 20 | 23.11.2023 | Theoretische Grundlagen: Der untypisierte Lambda-Kalkül | Download |
| 21 | 23.11.2023 | Theoretische Grundlagen: Regelsysteme, Typsysteme | Download |
| 22 | 23.11.2023 | Theoretische Grundlagen: Polymorphie | Download |
| 30 | 30.11.2023 | Logische Programmierung: Einführung, Backtracking | Download |
| 31 | 30.11.2023 | Logische Programmierung: Arithmetik und Listen, Cuts | Download |
| 32 | 30.11.2023 | Logische Programmierung: Beispielprogramme | Download |
| 33 | 30.11.2023 | Logische Programmierung: Spracherweiterungen | Download |
| 34 | 30.11.2023 | Logische Programmierung: Unifikation und Resolution | Download |
| 35 | 30.11.2023 | Logische Programmierung: Constraint Logic Programming | Download |
| 40 | 09.01.2024 | Typinferenz | Download |
| 51 | 17.01.2024 | Parallelprogrammierung: Grundlagen | Download |
| 52 | 17.01.2024 | Parallelprogrammierung: C/C++-Wiederholung | Download |
| 53 | 19.01.2024 | Parallelprogrammierung: MPI | Download |
| 54 | 24.01.2024 | Parallelprogrammierung: Java Basic | Download |
| 55 | 26.01.2024 | Parallelprogrammierung: Java Advanced | Download |
| 60 | 31.01.2024 | Design by Contract | Download |
| 70 | 02.02.2024 | Compiler: Einführung | Download |
| 71 | 02.02.2024 | Compiler: Lexikalische und syntaktische Analyse | Download |
| 72 | 02.02.2024 | Compiler: Semantische Analyse | Download |
| 73 | 02.02.2024 | Compiler: Java-Bytecode und Codeerzeugung | Download |
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 |
|---|---|
| 15.11.2023 | Tiefergehendes Video zu ghc-vis und Laziness: Thunks, Sharing, Laziness: The Haskell Heap Visualized – Joachim Breitner |
Klausuren
| Prüfungszeitraum | Tag | Beginn | Ende | Ort |
|---|---|---|---|---|
| WS 2023/24 | Donnerstag, 28.03.2024 | 08:00 Uhr | 10:00 Uhr |
Zuteilung Klausur WS2023/24 (28.03.2024)
| Klausur | Matrikelnummer | Ort |
|---|---|---|
| Funktionale Programmierung | * | Audimax |
| Programmierparadigmen | ... bis 2380000 | Audimax |
| Programmierparadigmen | ... bis 3000000 | Gerthsen-Hörsaal |
Ihre Plätze werden fest zugewiesen. Beachten Sie diesbezüglich die Platzaushänge vor Ort, die an den Eingangstüren zum Hörsaal angebracht sind, um möglichst einfach ihren Platz zu finden.
Klausur-Formalitäten
Die Klausur hat einen Umfang von 60 Minuten (Funktionale Programmierung) bzw. 120 Minuten (Programmierparadigmen). Für Funktionale Programmierung wird es entsprechend mehr Haskell-Aufgaben geben. 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!
Altklausuren
Klausuren mit Beispiellösungen.| Semester | Bestehensquote | |
|---|---|---|
| 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 | |
|---|---|---|
| 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 |
| Wissenschaftliche Mitarbeiter |
|---|
| Dr. Jakob von Raumer |