Neuigkeiten
| 21.10.2022 |
Die Ergebnisse der Klausur vom 29.09.2022 sind nun vorläufig im Campus-System eingetragen.
Die Klausureinsicht findet am Dienstag, den 25.10.2022, von 15:45 bis 17:15 im Raum -102 im Informatik-Gebäude (50.34) statt.
Studierende, die die Prüfung wiederholt nicht bestanden haben, werden per E-Mail über den Termin ihrer mündlichen Nachprüfung 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.
Den Notenschlüssel zur Klausur finden Sie hier.
|
| 2.5.2022 |
Die Klausureinsicht findet am Mittwoch, den 4.5.2022, von 10:00 bis 11:30 im Raum -143 (ATIS-Poolraum) im Informatik-Gebäude (50.34) statt.
Studierende, die die Prüfung wiederholt nicht bestanden haben, werden per E-Mail über den Termin ihrer mündlichen Nachprüfung 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.
Den Notenschlüssel zur Klausur finden Sie hier, die vorläufigen Noten der Herbstklausur sind nun im Campus-System eingetragen.
Falls Ihre Anmeldung für die Prüfung Programmierparadigmen im Campus-System gesperrt ist, sollten Sie eine Mail über das Vorgehen erhalten.
Ihre Punkte können Sie in diesem Fall im Sekretariat erfragen.
|
| 12.4.2022 |
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.
Für eine Ummeldung zum Master zum SS22 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.
|
| 29.11.2021 |
Die Vorlesung findet weiterhin in Präsenz statt.
Es dürfen nur Geimpfte und Genesene in Präsenz teilnehmen, alle anderen verwenden bitte die Aufzeichnung (siehe ILIAS).
Es findet ferner eine 2G-Vollkontrolle statt.
Bitte kommen Sie etwas früher und halten Ihren digitalen Impfnachweis bereit.
Wir empfehlen dringend, den Impfnachweis auf die KIT-Karte aufzuspielen, da die Kontrolle dann schnell per KONKIT geschehen kann.
Das Konkit-Gerät am Hertz-Hörsaal ist inzwischen repariert und auf 2G umgestellt.
|
| 5.11.2021 |
Ab sofort können Sie auch ohne vorherige Buchung in die Vorlesung kommen.
|
| 14.10.2021 |
Wie Sie heute per Mail informiert worden sein sollten, können Sie ab Montag an entsprechenden Geräten in Mensa, Bibliothek und Audimax Ihren 3G-Status auf Ihre KIT-Karte laden. Wir bitten darum, von dieser Möglichkeit Gebrauch zu machen, um den Einlass in Programmierparadigmen und andere große Vorlesungen zu beschleunigen.
|
| 11.10.2021 |
Für die Vorlesung wird in diesem Semester zunächst die im ILIAS verlinkte Ticketing-Funktion verwendet werden, um eine Überfüllung des Hörsaals zu vermeiden. Die Buchung für die Vorlesungen werden jeweils zwei Tage vorher um 9:00 Uhr freigeschaltet. Da wir am 20.10. die Einhaltung der 3G-Regel kontrollieren werden, bitten wir um rechtzeitiges Erscheinen, am besten schon um etwa 13:40!
|
| 9.9.2021 |
Die Veranstaltung wird im Wintersemester gemäß der KIT-Richtlinien
hauptsächlich in Präsenz stattfinden, sowohl die Vorlesung als auch die Mehrheit
der Tutorien.
Hierbei wird eine Nachweispflicht für den Status als
getestete, geimpfte oder genesene Person (3G) erforderlich sein.
Eine Aufzeichnung der Vorlesung (nur Beamer und Audio) wird verfügbar sein.
|
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.
| Prüfungszeitraum | Tag | Beginn | Ende | Ort |
|---|
| WS 2021/22 | Freitag, 08.04.2022 | 12:00 Uhr | 14:00 Uhr | |
| SS 2022 | Donnerstag, 29.09.2022 | 11:00 Uhr | 13:00 Uhr | Gerthsen-HS |
Zuteilung Klausur SS2022 (29.09.2022)
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!
Stand 07.04.2022: Nach den aktuellen Corona-Regeln ist die Maskenpflicht aufgehoben. Wir empfehlen, in der Klausur freiwillig eine Maske zu tragen. Wer keine Maske trägt, wird in keiner Weise benachteiligt. Bitte respektieren Sie die Entscheidungen Ihrer Kommilitonen.
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) |
Die erste Vorlesung findet am 20.10.2021 statt.
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 | 20.10.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 22.10.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 27.10.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 29.10.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 03.11.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 05.11.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 10.11.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 12.11.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 17.11.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 19.11.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 24.11.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 26.11.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 01.12.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 03.12.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 08.12.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 10.12.2021 | 14:00 | 15:30 | Hertz-Hörsaal |
| - | | | | |
| Weihnachten |
| - | | | | |
| Mittwoch | 12.01.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 14.01.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 19.01.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 21.01.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 26.01.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 28.01.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 02.02.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 04.02.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 09.02.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
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 | PDF |
|---|
| 00 | 20.10.2021 | Organisatorisches [v2][v2]- Seitenzählung leicht angepasst
| Download |
| 10 | 20.10.2021 | Funktionale Programmierung: Einführung, Listen [v2][v2]- Seitenzählung leicht angepasst
| Download |
| 11 | 20.10.2021 | Funktionale Programmierung: Funktionen höherer Ordnung, Kombinatoren [v2][v2]- Seitenzählung leicht angepasst
| Download |
| 12 | 22.10.2021 | Funktionale Programmierung: Lazy Evaluation | Download |
| 13 | 29.10.2021 | Funktionale Programmierung: Typen, Beispiele fkt. Programmierung | Download |
| 14 | 05.11.2021 | Funktionale Programmierung: Algebraische Datentypen & Anwendungen [v2][v2]- Termersetzung (14.18-14.21) ist kein Zusatzmaterial
| Download |
| 15 | 10.11.2021 | Funktionale Programmierung: Typklassen, QuickCheck [v2][v2]- 15.12: Neue Folie zu weiteren Vergleichen Haskell/Java
| Download |
| 16 | 05.11.2021 | Funktionale Programmierung: Zusatzfolien Monaden | Download |
| 20 | 10.11.2021 | Theoretische Grundlagen: Der untypisierte Lambda-Kalkül | Download |
| 21 | 24.11.2021 | Theoretische Grundlagen: Regelsysteme, Typsysteme [v2][v2]- 21.08: hinter dem letzten Pfeil muss \phi statt \gamma stehen
| Download |
| 22 | 17.11.2021 | Theoretische Grundlagen: Polymorphie | Download |
| 30 | 19.11.2021 | Logische Programmierung: Einführung, Backtracking | Download |
| 31 | 24.11.2021 | Logische Programmierung: Arithmetik und Listen, Cuts | Download |
| 32 | 30.11.2021 | Logische Programmierung: Beispielprogramme [v2][v2]- 32.02: Ausgabe berichtigt, `simplify`-Ausgabe hinzugefügt
| Download |
| 33 | 01.12.2021 | Logische Programmierung: Spracherweiterungen | Download |
| 34 | 03.12.2021 | Logische Programmierung: Unifikation und Resolution | Download |
| 35 | 03.12.2021 | Logische Programmierung: Constraint Logic Programming | Download |
| 40 | 03.12.2021 | Typinferenz | Download |
| 41 | 08.12.2021 | Zusatzfolien: Rust | Download |
| 51 | 12.01.2022 | Parallelprogrammierung: Grundlagen [v2][v2]- 14.01: Prozessorbeispiel aktualisiert
| Download |
| 52 | 12.01.2022 | Parallelprogrammierung: C/C++-Wiederholung | Download |
| 53 | 14.01.2021 | Parallelprogrammierung: MPI | Download |
| 54 | 19.01.2022 | Parallelprogrammierung: Java Basic | Download |
| 55 | 21.01.2022 | Parallelprogrammierung: Java Advanced und Aktormodell [v2][v2]- 07.02.: Folien zu Aktoren in den Anhang verschoben
| Download |
| 60 | 26.01.2022 | Design by Contract | Download |
| 70 | 28.01.2022 | Compiler: Einführung | Download |
| 71 | 04.02.2022 | Compiler: Lexikalische und syntaktische Analyse [v4][v2]- 17.38ff: Reihenfolge angepasst
[v3]- Reihenfolge weiter angepasst
[v4] | Download |
| 72 | 02.02.2022 | Compiler: Semantische Analyse | Download |
| 73 | 04.02.2022 | Compiler: Java-Bytecode und Codeerzeugung | Download |
| 80 | 09.02.2022 | Werbung: Veranstaltungen im SS2022 | Download |
| 90 | 09.02.2022 | Fragestunde | Download |
Der Foliensatz (Snelting-Teil) zum Download: [PDF]
Der Foliensatz
(Snelting-Teil) als Druckversion zum Download:
[PDF]
Bemerkung: Bei der Druckversion kann es zu Darstellungsfehlern kommen, weil nicht alle Animationen sinnvoll zu einer Folie zusammengefasst werden konnten!
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-Aufgaben aus dem Bereich KIT, Programmierparadigmen und Programmiersprachen.
Veranstalter
