Neuigkeiten
| 19.10.2020 |
Hinweis zu Nachprüfungen: Es besteht die dringende Aufforderung, Reisen in Risikogebiete zu unterlassen. Dies gilt erst recht, wenn bereits zu einer Nachprüfung geladen wurde. Atteste die nach einer solchen Reise eine Prüfungsunfähigkeit bescheinigen zB wg Quarantäne, werden nicht anerkannt, da die Prüfungsunfähigkeit selbst verschuldet ist.
|
| 16.10.2020 |
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 oder Sie noch unter der SPO 2008 studieren, sollten Sie eine Mail über das Vorgehen erhalten haben.
Die Klausureinsicht findet am Montag, den 19.10.2020 ab 13:00 Uhr statt. Interessenten müssen sich bis Montag, den 19.10. um 8:00 Uhr hier anmelden und erhalten dann einen Zeitslot zwischen 13:00 und 17:00 Uhr zugeordnet. Aufgrund der weiter bestehenden Hygienevorgaben bitten wir Sie, sich nur bei begründetem Interesse anzumelden, zum Beispiel bei einer Punktzahl knapp unter einem Notenschritt! Den Notenschlüssel finden Sie hier (nur aus dem KIT-Netz/VPN erreichbar).
|
| 12.08.2020 |
Die Anmeldung für die Klausur am 06.10.2020 ist nun freigeschaltet. Anmeldeschluss ist der 29.09.2020.
|
| 13.07.2020 |
Die vorläufigen Noten der Sonderklausur sind nun im Campus-System eingetragen (falls Sie noch unter der SPO 2008 studieren, erhalten Sie stattdessen eine E-Mail über den Ablauf).
Die Klausureinsicht findet am Donnerstag, den 16.07.2020, statt. Interessenten müssen sich bis Mittwoch, den 15.07., um 12:00 Uhr hier anmelden und erhalten dann einen Zeitslot zwischen 13:00 und 17:00 zugeordnet. Aufgrund der weiter bestehenden Hygienevorgaben bitten wir Sie, sich nur bei begründetem Interesse anzumelden, zum Beispiel bei einer Punktzahl knapp unter einem Notenschritt! Den Notenschlüssel finden Sie hier (nur aus dem KIT-Netz/VPN erreichbar).
|
| 08.07.2020 |
Die Herbstklausur wird am Dienstag, den 06.10.2020 um 09:00 Uhr im Zelt auf dem Forum stattfinden.
|
| 30.06.2020 |
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.
|
| 09.06.2020 |
Wir werden die Fragestunde am Dienstag, den 23.06.2020 um 14:00 Uhr über Zoom nachholen. Weitere Informationen dazu finden Sie im ILIAS-Kurs der Vorlesung (WS 19/20).
|
| 19.05.2020 |
Die reguläre Klausur im Herbst (SS20) findet voraussichtlich am Dienstag, den 6.10. um 10:30 Uhr statt.
|
| 15.05.2020 |
Die Nachhol-Klausur wird am Montag, den 29.06.2020 um 15:00 Uhr in der Schwarzwaldhalle stattfinden. Weitere Details folgen.
|
| 08.05.2020 |
Es wird ein Klausur-Nachholtermin Anfang Juli angeboten. Details werden baldigst bekanntgegeben. Alternativ kann die reguläre Klausur im Herbst besucht werden.
|
| 16.03.2020 |
Ob es einen Klausur-Nachholtermin z.B. Ende Juli geben wird, steht z.Zt. nicht fest. Alle jetzt Angemeldeten werden abgemeldet und sollten sich darauf einstellen, die Klausur zum nächsten regulären Termin im Herbst zu besuchen. Grundsätzlich gilt dabei Nachteilsausgleich: es wird z.B. die Maximalstudiendauer (9 Semester), wenn sie schon ausgereizt ist, um 1 Semester verlängert (vgl. Schreiben von VP Wanner vom 10.3.)
Eine mündliche statt schriftliche Prüfung schon vor Sommer bzw. Herbst wird es hingegen -- schon aus Gründen der Gleichbehandlung, und wiederum in Übereinstimmung mit dem Schreiben von VP Wanner -- nur in absoluten Ausnahmefällen geben; nämlich wenn nachweislich 1. Studienzeitverlängerung droht (also z.B. alle anderen Module nachweislich abgeschlossen sind), 2. die drohende Studienverlängerung nicht selbstverschuldet ist (also nicht z.B. durch "Klausurschieben" selbst verursacht). Nach BPO muss für solche Ausnahmen ein Antrag beim ISS gestellt werden. Interessenten wird empfohlen, vorher die Sprechstunde von Prof. Snelting aufzusuchen.
|
| 13.03.2020 |
Update: Gemäß der Entscheidung des Präsidiums sind alle Veranstaltungen am KIT, einschließlich Klausuren, ab 17.03. bis 19.04. abgesagt. Damit findet auch die PP-Klausur nicht statt. Da sich hiermit der Bedarf für eine öffentliche Fragestunde bis auf Weiteres erübrigt hat, entfällt diese Ersatzlos.
|
| 13.03.2020 |
Update: Gemäß Beschluss der Landesrektorenkonferenz
wird die PP-Fragestunde am Montag nicht stattfinden. Wir planen, eine Ersatzveranstaltung stattfinden zu lassen, bei der Sie Fragen zum Stoff stellen können, aber in welcher Form (digital oder nicht) das sein wird, wissen wir noch nicht. Wir halten Sie auf dem Laufenden.
|
| 10.03.2020 |
Hinweis: Gemäß Empfehlung des Präsidiums zur aktuellen COVID-19-Epidemie findet die Klausur statt.
Teilnehmer, die ein erhöhtes Corona-Infektions-Risiko haben (z.B. Rückkehrer aus Risikogebieten) werden gebeten, sich bitte umgehend von der Klausur abzumelden!
Solchen Teilnehmern wird ein Nachteilsausgleich gewährt. Weitere Hinweise des KIT zum Coronavirus siehe https://www.kit.edu/kit/25911.php.
|
| 11.02.2020 |
Nun steht ein Übungsblatt mit Zusatzaufgaben (für die
selbstverständlich keine Abgabe stattfindet) zur Vertiefung
des Stoffs zur Verfügung.
|
| 03.02.2020 |
Am Montag, den 16.03.2020 findet um 14:00 Uhr im Raum -101 im Informatikbau (50.34) eine Fragestunde statt, in der Übungsleiter und Tutoren Fragen zum Vorlesungsstoff beantworten. Bitte schicken Sie wenn möglich schon vor dem Termin Ihre Fragen per E-Mail an die Übungsleiter (Sebastian Graf, Max Wagner) oder stellen Ihre Fragen im ILIAS-Forum, damit wir entsprechendes Material vorbereiten können.
|
| 03.02.2020 |
In den Übungen der letzten Vorlesungswoche werden
- am Montag, den 03. Februar, ausschließlich das Thema Parallelprogrammierung, und
- am Dienstag, den 04. Februar, ausschließlich das Thema Compiler/Bytecode
behandelt. Sie dürfen und sollten daher in dieser Woche zwei Übungstermine wahrnehmen.
|
| 31.01.2020 |
Das Tutorium von Paul Brinkmeier am nächsten Dienstag um 11:30 (Tut 6, am 04.02.) muss wegen einer fakultätsinternen Veranstaltung außerordentlich in den SR236 (also genau ein Stockwerk nach unten) verlegt werden.
|
| 16.10.2019 |
Auf Blatt 0 war ein ungültiger Link zu WebInscribe. Dies wurde behoben.
|
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 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
|
| Sonderklausur SS 2020 | Montag, 29.06.2020 | 15:00 Uhr | 17:00 Uhr |
Schwarzwaldhalle |
| SS 2020 | Dienstag, 06.10.2020 | 09:00 Uhr | 11:00 Uhr | Zelt auf dem Forum |
Was ist gilt es bei der Klausur am 06.10.2020 zu beachten?
- Die Klausur findet im Zelt auf dem Forum (südlich vom Audimax, das südlichere von beiden) statt. Aufgrund der Abstandsregelungen findet der Einlass in 3 Staffeln (siehe Zuteilung) statt, um lange Warteschlangen zu vermeiden.
- Zum Mitschreiben muss vor Ort eine Erklärung abgegeben werden. Bitte halten Sie bei der Anmeldung KITCard, Lichtbildausweis und die ausgefüllte Erklärung bereit!
- Sowohl vor als auch nach der Klausur dürfen Sie sich "nicht in Gruppen versammeln", weder im Gebäude, noch davor. Bitte halten Sie Abstand voneinander! Nach Ende der Klausur verlassen Sie bitte das Gebäude nach Aufforderung einzeln und entfernen Sie sich zügig.
- Nicht zugelassene Hilfsmittel sind vor Ihrem eigenen Platz abzulegen.
- Wir empfehlen dringend, bis zum Start der Prüfung eine Mund-Nase-Bedeckung zu tragen.
Zuteilung Klausur SS2020 (06.10.2020)
| Klausur | Matrikelnummer | Ort | Einlasszeit |
|---|
| Programmierparadigmen | bis 1980000 | Zelt auf dem Forum | 08:20-08:30 |
| Programmierparadigmen | ... bis 2080000 | Zelt auf dem Forum | 08:30-08:40 |
| Programmierparadigmen | ... bis 3000000 | Zelt auf dem Forum | 08:40-08:50 |
| Funktionale Programmierung | * | Zelt auf dem Forum | 08:40-08:50 |
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!
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 16.10.2019 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 | 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 |
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 | PDF |
|---|
| 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 [v2.0][v1.1]- Folien zu Modellen,Gültigkeit,Korrektheit & Vollständigkeit zum Rest konsistent gemacht
[v2.0]- Folien komplett überarbeitet, jetzt klare Trennung zwischen Formeln und Aussagen
- Regelinversion: explizit sagen, welche Annahmen man gewinnt
| 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 |
| 18.12.2019 | Zusatzfolien: Rust | Download |
| 08.01.2020 | Parallelprogrammierung: Grundlagen | Download |
| 08.01.2020 | Parallelprogrammierung: C/C++-Wiederholung | Download |
| 10.01.2020 | Parallelprogrammierung: MPI | Download |
| 15.01.2020 | Parallelprogrammierung: Java Basic | Download |
| 17.01.2020 | Parallelprogrammierung: Java Advanced und Aktormodell [v1.1.1][v1.1.0]- Atomic Types Rückgabetyp von compareAndSet korrigiert
[v1.1.1]- Alle Folien zu Aktoren und Akka in den Anhang verschoben
| Download |
| 21.01.2020 | Design by Contract [v1.1.0][v1.1.0]- Folien zu Precondition Availability, Null-Values in JML und Internal Data in Contracts in den Anhang verschoben
| Download |
| 27.01.2020 | Compiler: Einführung | Download |
| 27.01.2020 | Compiler: Lexikalische und syntaktische Analyse [v1.1][v1.1]- Folie 392 ersetzt mit direkteren Anweisungen für Expression-Grammatiken
- Z-Folien zu abstrakten Termalgebren hinzugefügt
| Download |
| 25.01.2020 | Compiler: Semantische Analyse | Download |
| 21.02.2020 | Compiler: Java-Bytecode und Codeerzeugung [v1.1][v1.1]- Codeerzeugung: Visitor-basierte Codebeispiele mit einfacher Baumtraversierung ersetzt
- Viel sprechendere Namen, weniger unnötige Implementierungsdetails
| Download |
| 03.02.2020 | Werbung: Veranstaltungen im SS2020 | Download |
| 03.02.2020 | Fragestunde | Download |
| Stand | Thema | Datei |
|---|
| 14.12.2018 | Beispielimplementierungen Typinferenz (Haskell, Prolog) und Unifikation (Union/Find und Robinson, Haskell) | Download |
| 28.01.2019 | Beispielcompiler für Simple-Sprache (Java) | Download |
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
