HOME | ENGLISH | IMPRESSUM | KIT

Programmierparadigmen - Übungen

Neuigkeiten

11.12.2018 Der vorläufige Terminplan wurde um die Termine im Jahr 2019 ergänzt.
22.11.2018 Die Klausur am 4.4.2019 wurde auf 14:00 verlegt und findet nun in den Hörsälen Audimax und Fasanengarten statt.
16.11.2018 Die Beispiellösungen von Blatt 3 waren dank eines LaTeX-Malheurs unvollständig, dies wurde behoben.
16.11.2018 Das Tutorium Nr.3 von Max Göttlicher (14:00, SR131) fällt am 26.11. aus. Betroffene Studenten können stattdessen das Tutorium von Oliver Suchan (gleiche Zeit, SR301) besuchen (oder eines zu einem anderen Termin).
14.11.2018 Die Vorlesungstermine bis Weihnachten sind nun eingetragen. Beachten Sie, dass am Freitag, den 23.11.2018, keine Vorlesung stattfindet.
18.10.2018 Auf Blatt 0 war ein ungültiger Link zu WebInscribe. Dies wurde behoben.

Inhalt

In den Übungen werden die Themen der Vorlesung Programmierparadigmen wiederholt und vertieft. Weiterhin werden die Übungsaufgaben vorgestellt und die Lösungen besprochen.

Anmeldung für die Übungsgruppen

Die Einteilung der Übungsgruppen findet ab Montag, den 15.10.2018, über WebInscribe statt. Eine Übersicht über die Termine der 8 Übungsgruppen finden Sie unten. Sie brauchen nur eine der Übungsgruppen besuchen. Die Anmeldung endet am Freitag, den 19.10.2018, um 16:30 Uhr.

Material

Das Vorlesungs- und Übungsmaterial 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. Foliensätze, Übungsblätter 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.

Datum Thema Unterlagen
10.10.2018 Erste Schritte mit Haskell [Übungsblatt 0]
18.10.2018 Rekursive Funktionen und Listen [Übungsblatt 1][Zusatzblatt 1]
[Beispiellösung Blatt 1][Beispiellösung Zusatzblatt 1]
25.10.2018 Bindung, Kombinatoren, Patterns [Übungsblatt 2][Zusatzblatt 2]
[Beispiellösung Blatt 2][Beispiellösung Zusatzblatt 2]
02.11.2018 Laziness, Streams [Übungsblatt 3][Zusatzblatt 3]
[Beispiellösung Blatt 3][Beispiellösung Zusatzblatt 3]
08.11.2018 Datentypen, Typklassen [Übungsblatt 4][Zusatzblatt 4]
[Beispiellösung Blatt 4][Beispiellösung Zusatzblatt 4]
15.11.2018 λ-Kalkül, Church-Kodierungen [Übungsblatt 5][Zusatzblatt 5]
[Beispiellösung Blatt 5][Beispiellösung Zusatzblatt 5]
22.11.2018 Rekursionsoperatoren, Typprüfung [Übungsblatt 6][Zusatzblatt 6]
[Rahmen λ-Interpreter][λ-Parser][Tests λ-Interpreter]
[Beispielllösung Blatt 6][Beispielllösung Zusatzblatt 6]
[Beispiellösung λ-Interpreter]
29.11.2018 Prolog [Übungsblatt 7][Zusatzblatt 7]
[Beispiellösung Blatt 7][Beispiellösung Zusatzblatt 7]
06.12.2018 Prolog, Unifikation, Cuts [Übungsblatt 8][Zusatzblatt 8]

Bearbeitung der Übungsaufgaben

Die Bearbeitung der Übungsaufgaben ist keine Voraussetzung für die Teilnahme an der Klausur. Wir empfehlen Ihnen trotzdem sehr, die Übungsaufgaben selbstständig zu bearbeiten und regelmäßig an den Übungen teilzunehmen. Insbesondere empfehlen wir, selbst am eigenen Rechner mit den vorgestellten Programmiersprachen zu experimentieren und eigene Programme zu schreiben!

Digitale Lösungen können in unserer Praktomat-Instanz abgegeben werden, Lösungen auf Papier in unserem Abgabekasten im Untergeschoss des Informatikgebäudes; nähere Informationen entnehmen Sie bitte dem jeweiligen Übungsblatt. Ihre Abgaben werden von Ihrem Tutor korrigiert und digital bzw. in der entsprechenden Übung zurückgegeben.

Forum

Für Fragen, Hilfe und Gedankenaustausch zur Übung oder den Übungsaufgaben stehen Foren im ILIAS zur Verfügung.

Termine

Die Übungsgruppen finden wöchentlich statt! Die erste Übung ist am 22.10.2018 bzw. am 23.10.2018. Alle Übungsgruppen finden in Seminarräumen des Informatik-Baus (Gebäude 50.34) statt.

Gruppe Tag Beginn Ort Gruppenleiter
1 Montags 09:45 Uhr SR 131 Niklas Uhl
2 Montags 11:30 Uhr SR 236 Roman Langrehr
3 Montags 14:00 Uhr SR 131 Max Göttlicher
4 Montags 14:00 Uhr SR 301 Oliver Suchan
5 Dienstags 11:30 Uhr SR 131 Roman Langrehr
6 Dienstags 11:30 Uhr SR 301 Niklas Uhl
7 Dienstags 14:00 Uhr SR -119 Oliver Suchan
8 Dienstags 14:00 Uhr SR 131 Max Göttlicher

Programmierparadigmen VM-Image

Eine Virtuelle Maschine mit vorinstallierten Entwicklungsumgebungen für alle in der Vorlesung behandelten Sprachen ist verfügbar.

Haskell

Zum Experimentieren und zur Bearbeitung der Übungsaufgaben zum Thema funktionale Programmierung benötigen Sie eine Haskell Programmierumgebung. Wir empfehlen dazu die Installation der

Diese enthält neben einem Compiler (GHC) auch den Interpreter GHCi. Falls Sie Ihre Haskell-Programme nicht in einem einfachen Texteditor schreiben wollen, empfehlen sich

Die Haskell Platform ist auch auf den Rechnern im ATIS-Rechnerpool verfügbar.

Neben der in der Vorlesung empfohlenen Literatur weisen wir auch auf folgende Online-Einführungen hin:

λ-Kalkül

Zum Ausprobieren können Sie die aus PSE entstandene Web-IDE verwenden:

Oder einen der zahlreichen anderen Web-Interpreter:

Prolog

Zur Bearbeitung der Übungsaufgaben zum Thema logische Programmierung benötigen Sie eine Prolog-Programmierumgebung. Zum Einstieg reicht hierfür eine Web-IDE:

Ebenfalls im Rahmen von PSE entstanden sind zwei Prolog-Interpreter, welche die in der Vorlesung vorgestellten Ausführungsbäume anzeigen können:

Gängige Prolog-Implementierungen, jeweils verfügbar für Linux/Windows/MacOS X, sind:

Neben einem normalen Texteditor gibt es zur Bearbeitung von Prolog-Programmen u.A.

Als zusätzliche Lernmaterialien empfehlen wir folgende Online-Einführung:

Hiervon existiert auch eine Variante mit integrierter Web-IDE für Beispiele und Übungsaufgaben.

Akka

Um Akka-Aktoren in Java zu verwenden, müssen Teile der Akka-Bibliothek in den Classpath eingebunden werden. Die Bibliothek wird über Maven Central bereitgestellt, weshalb der einfachste Weg die Verwendung eines Maven-Projektes mit der passenden Dependency ist:

  • GroupId: com.typesafe.akka
  • ArtifactId: akka-actor_2.11
  • Version: 2.5.6

Hinweis: In der diesjährigen Vorlesung/Übung wird die Akka Version 2.5.x verwendet und nicht mehr Akka 2.4.x. Implementierungen für Akka 2.4.x funktionieren zwar noch immer, die dort verwendete API ist aber inzwischen als deprecated deklariert. Die Übung wurde mit der angegebenen Version der Akka-Bibliothek erstellt, Sie können jedoch auch eine neuere Version verwenden.

Compiler

Ein Verfahren zur systematischen Berechnung von First1 und Follow1 Mengen wird z.B. hier gezeigt (Implementierung in Haskell). Online ausprobieren können Sie z.B.

Veranstalter

Wissenschaftliche Mitarbeiter
Sebastian Ullrich
Maximilian Wagner
Tutoren
Max Göttlicher
Roman Langrehr
Oliver Suchan
Niklas Uhl