HOME | ENGLISH | IMPRESSUM | KIT

Programmierparadigmen

Neuigkeiten

16.10.2019 Auf Blatt 0 war ein ungültiger Link zu WebInscribe. Dies wurde behoben.

Inhalt

In der Vorlesung Programmierparadigmen lernen die Teilnehmer nichtimperative Programmierung und ihre Anwendungsgebiete kennen. Im Einzelnen werden behandelt:

  1. Funktionale Programmierung - rekursive Funktionen und Datentypen, Funktionen höherer Ordnung, Kombinatoren, lazy evaluation, Lambda-Kalkül, Typsysteme, Anwendungsbeispiele.
  2. Logische Programmierung - Terme, Hornklauseln, Unifikation, Resolution, regelbasierte Programmierung, constraint logic programming (CLP), Anwendungen.
  3. Parallelprogrammierung - message passing (MPI), verteilte Software, Aktorkonzept, Anwendungsbeispiele.
  4. 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.

Klausuren

PrüfungszeitraumTagBeginnEndeOrt
WS 2019/20Dienstag, 24.03.202011:00 Uhr13:00 Uhr Hörsaal am Forum (Audimax), Gebäude 30.95
Hörsaal am Fasanengarten Gebäude 50.35

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!

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!

Vorlesung

Die Vorlesung hat den Umfang von 3 SWS. Die wöchentlichen Termine finden während folgender Zeiträume statt:

Tag Beginn Ende Ort
Mittwochs14:0015:30Hertz-Hörsaal, Raum 126 (Geb. 10.11)
Freitags 14:0015:30Hertz-Hörsaal, Raum 126 (Geb. 10.11)
Die erste Vorlesung findet am 16.10.2019 statt.

Termine

Bitte achten Sie auf Änderungen zu diesem vorläufigen Terminplan, die hier und in der Vorlesung bekannt gegeben werden.
TagDatumBeginnEndeOrt
Mittwoch 16.10.201914:0015:30Hertz-Hörsaal
Freitag 18.10.201914:0015:30Hertz-Hörsaal
Mittwoch 23.10.201914:0015:30Hertz-Hörsaal
Freitag 25.10.201914:0015:30Hertz-Hörsaal
Mittwoch 30.10.201914:0015:30Hertz-Hörsaal
-
Mittwoch 06.11.201914:0015:30Hertz-Hörsaal
Freitag 08.11.201914:0015:30Hertz-Hörsaal
Mittwoch 13.11.201914:0015:30Hertz-Hörsaal
-
Mittwoch 20.11.201914:0015:30Hertz-Hörsaal
Freitag 22.11.201914:0015:30Hertz-Hörsaal
Mittwoch 27.11.201914:0015:30Hertz-Hörsaal
Freitag 29.11.201914:0015:30Hertz-Hörsaal
Mittwoch 04.12.201914:0015:30Hertz-Hörsaal
Freitag 06.12.201914:0015:30Hertz-Hörsaal
Mittwoch 11.12.201914:0015:30Hertz-Hörsaal
-
Mittwoch 18.12.201914:0015:30Hertz-Hörsaal
-
Weihnachten
-
Mittwoch 08.01.202014:0015:30Hertz-Hörsaal
Freitag 10.01.202014:0015:30Hertz-Hörsaal
Mittwoch 15.01.202014:0015:30Hertz-Hörsaal
Freitag 17.01.202014:0015:30Hertz-Hörsaal
Mittwoch 22.01.202014:0015:30Hertz-Hörsaal
Freitag 24.01.202014:0015:30Hertz-Hörsaal
Mittwoch 29.01.202014:0015:30Hertz-Hörsaal
Freitag 31.01.202014:0015:30Hertz-Hörsaal
Mittwoch 05.02.202014:0015:30Hertz-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

StandThemaPDF
16.10.2019OrganisatorischesDownload
16.10.2019Funktionale Programmierung: Einführung, ListenDownload
17.10.2020Funktionale Programmierung: Funktionen höherer Ordnung, KombinatorenDownload
18.10.2019Funktionale Programmierung: Lazy EvaluationDownload
25.10.2019Funktionale Programmierung: Typen, Beispiele fkt. ProgrammierungDownload
31.10.2019Funktionale Programmierung: Algebraische Datentypen & AnwendungenDownload
07.11.2019Funktionale Programmierung: Typklassen, QuickCheckDownload
07.11.2019Funktionale Programmierung: Zusatzfolien MonadenDownload
11.11.2019Theoretische Grundlagen: Der untypisierte Lambda-KalkülDownload
22.11.2019Theoretische Grundlagen: Regelsysteme, Typsysteme[v1.1][v1.1]
  • Folien zu Modellen,Gültigkeit,Korrektheit & Vollständigkeit zum Rest konsistent gemacht
Download
22.11.2019Theoretische Grundlagen: PolymorphieDownload
26.11.2019Logische Programmierung: Einführung, BacktrackingDownload
27.11.2019Logische Programmierung: Arithmetik und Listen, CutsDownload
02.12.2019Logische Programmierung: BeispielprogrammeDownload
02.12.2019Logische Programmierung: SpracherweiterungenDownload
05.12.2019Logische Programmierung: Unifikation und ResolutionDownload
05.12.2019Logische Programmierung: Constraint Logic ProgrammingDownload
11.12.2019TypinferenzDownload

Altklausuren

Klausuren mit Beispiellösungen.
StandThemaPDF
Wintersemester 2014/2015 Klausur vom 9. April 2015 Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2015 Klausur vom 21. September 2015 Download (ohne Lösungen)
Download (mit Lösungen)
Wintersemester 2015/2016 Klausur vom 7. April 2016 Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2016 Klausur vom 22. September 2016 Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2017 Klausur vom 25. September 2017 Download (ohne Lösungen)
Download (mit Lösungen)
Wintersemester 2017/2018 Klausur vom 5. April 2018 Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2018 Klausur vom 26. September 2018 Download (ohne Lösungen)
Download (mit Lösungen)
Wintersemester 2018/2019 Klausur vom 4. April 2019 Download (ohne Lösungen)
Download (mit Lösungen)
Sommersemester 2019 Klausur vom 30. September 2019 Download (ohne Lösungen)
Download (mit Lösungen)

Kneipenquiz

Kneipenquiz-Aufgaben aus dem Bereich KIT, Programmierparadigmen und Programmiersprachen.
EditionThemaPDF
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)

Veranstalter

Lehrstuhlinhaber
Prof. Gregor Snelting
Wissenschaftliche Mitarbeiter
Sebastian Graf
Maximilian Wagner