Neuigkeiten
| 27.04.2023 |
Die Ergebnisse der Klausur vom 31.03.2023 sind nun vorläufig im Campus-System eingetragen.
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 (Lehramt: hier).
Die Klausureinsicht findet am Mittwoch, den 3.5.2023, von 16:00 bis 17:30 im Raum 010 im Informatik-Gebäude (50.34) statt.
Wir bitten die Studierenden entsprechend ihrer Matrikelnummern zu folgenden Uhrzeiten zu erscheinen:
| 0 bis 2285999 | um 16:00 Uhr |
| 2286000 bis 2352999 | um 16:30 Uhr |
| 2353000 bis 9999999 | um 17:00 Uhr |
|
| 3.4.2023 |
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 SS23 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. |
| 30.3.2023 |
Die Hörsaaleinteilung für die Klausur am 31.03.2023 steht nun fest. |
| 13.3.2023 |
Die Vorlesungsaufzeichnungen aus dem WS2020/21 sind ab jetzt bis zur Klausur im ILIAS verfügbar.
|
| 13.2.2023 |
Am 23.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.
|
| 23.1.2023 |
Am 27.1. findet keine Vorlesung statt, die nächste Vorlesung findet dann wieder am 1.2. statt. In der letzten Vorlesungswoche findet voraussichtlich keine Vorlesung statt.
|
| 8.12.2022 |
Die letzte Vorlesung des Kalenderjahres findet am 14.12. statt, danach ist Weihnachtspause. |
| 20.10.2022 |
Der 1.11. ist ein Feiertag. Für die betroffenen Tutorien wird es folgende Ersatztermine geben:
| Tutorium 3 | 31.10., 14:00 - 15:30, 50.34 Raum 301 | |
| Tutorium 4 & 5 | 31.10., 08:00 - 09:30, 50.34 Raum -102 | (Tut 4 ausnahmsweise bei Paul Brinkmeier) |
|
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) |
Die erste Vorlesung findet am 26.10.2022 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 | 26.10.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 28.10.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 02.11.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 04.11.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 09.11.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 11.11.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 16.11.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 18.11.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 23.11.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 25.11.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 30.12.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 02.12.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 07.12.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 09.12.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 14.12.2022 | 14:00 | 15:30 | Hertz-Hörsaal |
| - | | | | |
| Weihnachten |
| - | | | | |
| Mittwoch | 11.01.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 13.01.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 18.01.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 20.01.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 25.01.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 28.01.2023 | Keine Vorlesung! |
| Mittwoch | 01.02.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 03.02.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch | 08.02.2023 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag | 10.02.2023 | 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 | 25.10.2022 | Organisatorisches | Download |
| 10 | 25.10.2022 | Funktionale Programmierung: Einführung, Listen | Download |
| 11 | 25.10.2022 | Funktionale Programmierung: Funktionen höherer Ordnung, Kombinatoren | Download |
| 12 | 14.11.2022 | Funktionale Programmierung: Lazy Evaluation [v2][v2]- Fehler auf den Grafiken für 'odds' korrigiert.
| Download |
| 13 | 10.11.2022 | Funktionale Programmierung: Typen, Beispiele fkt. Programmierung [v2][v2] | Download |
| 14 | 01.11.2022 | Funktionale Programmierung: Algebraische Datentypen & Anwendungen | Download |
| 15 | 14.11.2022 | Funktionale Programmierung: Typklassen, QuickCheck | Download |
| 16 | 14.11.2022 | Funktionale Programmierung: Zusatzfolien Monaden | Download |
| 20 | 17.11.2022 | Theoretische Grundlagen: Der untypisierte Lambda-Kalkül | Download |
| 21 | 17.11.2022 | Theoretische Grundlagen: Regelsysteme, Typsysteme | Download |
| 22 | 23.11.2022 | Theoretische Grundlagen: Polymorphie | Download |
| 30 | 23.11.2022 | Logische Programmierung: Einführung, Backtracking | Download |
| 31 | 23.11.2022 | Logische Programmierung: Arithmetik und Listen, Cuts | Download |
| 32 | 23.11.2022 | Logische Programmierung: Beispielprogramme | Download |
| 33 | 07.12.2022 | Logische Programmierung: Spracherweiterungen | Download |
| 34 | 07.12.2022 | Logische Programmierung: Unifikation und Resolution | Download |
| 35 | 07.12.2022 | Logische Programmierung: Constraint Logic Programming | Download |
| 40 | 07.12.2022 | Typinferenz | Download |
| 41 | 07.12.2022 | Zusatzfolien: Rust | Download |
| 51 | 11.01.2023 | Parallelprogrammierung: Grundlagen | Download |
| 52 | 11.01.2023 | Parallelprogrammierung: C/C++-Wiederholung | Download |
| 53 | 13.01.2023 | Parallelprogrammierung: MPI [v2][v2]- Deklaration sendbuffer in Message Exchange Beispiel
| Download |
| 54 | 18.01.2023 | Parallelprogrammierung: Java Basic [v2][v2]- int statt void als Rückgabetyp bei Lambda-Ausdrücken
| Download |
| 55 | 20.01.2023 | Parallelprogrammierung: Java Advanced und Aktormodell [v2][v2]- collect-Operation: mutable result container
| Download |
| 60 | 25.01.2023 | Design by Contract | Download |
| 70 | 02.02.2023 | Compiler: Einführung | Download |
| 71 | 09.02.2023 | Compiler: Lexikalische und syntaktische Analyse [v3][v2]- Zusätzliche Folie zum Rekursiven Abstieg eingefügt.
[v3]- Fehler in der Verwendung von 'break' korrigiert.
| Download |
| 72 | 02.02.2023 | Compiler: Semantische Analyse | Download |
| 73 | 02.02.2023 | Compiler: Java-Bytecode und Codeerzeugung | Download |
| 80 | 09.02.2023 | Werbung: Veranstaltungen im Sommersemester | Download |
| 90 | 09.02.2023 | Fragestunde | Download |
| Prüfungszeitraum | Tag | Beginn | Ende | Ort |
|---|
| WS 2022/23 | Freitag, 31.03.2023 | 11:30 Uhr | 13:30 Uhr | |
Zuteilung Klausur WS2022/23 (31.03.2023)
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 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!
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!
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) |
Kneipenquiz-Aufgaben aus dem Bereich KIT, Programmierparadigmen und Programmiersprachen.
Veranstalter
