Neuigkeiten
| 24.10.2023 |
Der Notenschlüssel für die Klausur ist hier zu finden.
|
| 18.10.2023 |
Die Klausureinsicht findet am Donnerstag, 26.10.2023, von 8:00 bis 9:30 im Hörsaal -101 im Informatik-Gebäude (50.34) statt, bitte seien Sie pünktlich.
|
| 25.9.2023 |
Entgegen vorheriger Informationen auf dieser Webseite findet die Sommersemester-Klausur im Gerthsen-Hörsaal statt.
|
| 14.9.2023 |
Falls Sie für eine Arbeitsstelle o.ä. 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 WS2023/24 sollten die Noten rechtzeitig eingetragen sein, da die Ummeldung noch bis Ende November erfolgen kann. Sie sollten in diesem Fall keine 4,0-Bescheinigung benötigen.
|
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 | |
| SS 2023 | Freitag, 29.09.2023 | 08:00 Uhr | 10:00 Uhr | Gerthsen-Hörsaal, Gebäude 30.21 |
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) |
| Sommersemester 2023 |
72,16% |
Download (ohne Lösungen) |
|
|
Download (mit Lösungen) |
Kneipenquiz-Aufgaben aus dem Bereich KIT, Programmierparadigmen und Programmiersprachen.
Veranstalter
