HOME | ENGLISH | IMPRESSUM | KIT

Programmierparadigmen - Übungen

Neuigkeiten

25.10.2016 Die Klausurergebnisse der Nachklausur sind im QISPOS- bzw. Campus-System eingetragen.
20.10.2016 Die Klausurergebnisse hängen nun aus!

Hier noch einmal der Hinweis: Studierende, die in die mündliche Nachprüfung müssen, melden sich bitte so schnell wie möglich per Mail beim Sekretariat, um ihren Termin zu bestätigen.

13.10.2016 Der Ablaufplan zur Nachklausur vom 22. September 2016 steht nun fest:
  • Aushang der Klausurergebnisse am 20.10.2016; Aushang Gebäude 50.34, gegenüber der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls.
  • Klausureinsicht am Dienstag, den 25.10.2016, 14:00 Uhr in Raum 010 im Informatik-Gebäude (50.34).
  • Mündliche Nachprüfungen finden am 27.10.2016, 28.10.2016 und 31.10.2016 statt. Die genauen Termine werden zusammen mit den Klausurergebnissen bekannt gegeben. Betroffene Studierende werden gebeten, sich nach Bekanntgabe der Ergebnisse so schnell wie möglich per Mail beim Sekretariat zu melden, um ihren Termin zu bestätigen.
  • Für 4.0-Bescheinigungen schreiben Sie bitte eine Mail an das Sekretariat und geben Sie Ihren vollen Namen sowie Ihre Matrikelnummer an. Sollten Sie Probleme mit Fristen bekommen, kommen Sie bitte zu Prof. Snelting in die Sprechstunde.
23.08.2016 Die Nachklausur findet am 22.09.2016 um 11:00 Uhr im HSAF statt.
11.05.2016 Die Noten sind im QISPOS- bzw. Campus-System eingetragen.
09.05.2016 Die mündlichen Nachprüfungen finden in Raum 021, Gebäude 50.34 (Informatikbau) statt.
03.05.2016 Die mündlichen Nachprüfungen finden in folgenden Zeiträumen statt:
  • 13.05.2016, 10-12 Uhr
  • 17.05.2016, 10-12 Uhr
  • 17.05.2016, 14-16 Uhr
  • 18.05.2016, 14:30 Uhr - 16:30 Uhr
Betroffene Studierende werden per E-Mail und schriftlich über ihren genauen Termin informiert.
03.05.2016 Die Klausurergebnisse hängen nun aus.
18.04.2016 Hier eine Konkretisierung des weiteren Ablaufs bezüglich der Klausur:
  • Die Klausurergebnisse zur Hauptklausur vom 07.04.2016 werden voraussichtlich am 04.05.2016 ausgehängt (Gebäude 50.34, gegenüber von der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls).
  • Die Klausureinsicht findet am 10.05.2016 zwischen 14:00 Uhr und 16:00 Uhr im Raum 010 im Informatik-Gebäude (50.34) statt.
  • Etwaige mündliche Nachprüfungen werden voraussichtlich am 12.05.2016 13.05.2016 und 17.05.2016 stattfinden. Die genauen Termine werden zusammen mit den Klausurergebnissen bekannt gegeben. Betroffene Studierende werden gebeten, sich nach Bekanntgabe der Ergebnisse so schnell wie möglich per Mail beim Sekretariat zu melden, um ihren Termin zu bestätigen.
  • Falls Sie eine 4.0-Bescheinigung benötigen, schreiben Sie bitte eine kurze disbezü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.
08.04.2016 Die Klausurergebnisse werden voraussichtlich Anfang Mai bekannt gegeben. 4,0-Bescheinigungen können in manchen Fällen bereits früher ausgestellt werden, ein Rechtsanspruch darauf besteht jedoch nicht. Besuchen Sie ggf. die Sprechstunde von Prof. Snelting.
06.04.2016 Die Hörsaaleinteilung steht nun fest.
04.04.2016 Eine Druckversion der Folien (ohne Animationen) steht nun zum Download bereit. Auf Folien mit Animationen kann es zu Darstellungsfehler kommen.
01.03.2016 Wie in den Tutorien angekündigt, findet am 1. April 2016 um 14:00 in Raum -101 (Informatik-Gebäude (50.34)) eine Klausur-Fragestunde statt. Idealerweise schicken Sie schon vor dem Termin Ihre Fragen per E-Mail an Ihren Tutor.
04.02.2016 Hinweis: Da die Vorlesungszeit nächste Woche endet, finden am Freitag, den 12.02.2016, um 14:00 statt der Vorlesung Zusatztutorien statt. In diesen Zusatztutorien wird das Übungsblatt 13 zum Themenbereich Compiler besprochen.
  • Andreas Fried: Raum -133 im Allgemeinen Verfügungsgebäude (50.41)
  • Michael Hoff: Raum -134 im Allgemeinen Verfügungsgebäude (50.41)
  • Jonas Sauer: Raum -120 im Informatik-Gebäude (50.34)
  • Lucas Werkmeister: Raum 301 im Informatik-Gebäude (50.34)
09.12.2015 Achtung, Änderung im Terminplan: Vorlesung am 11.12.2015 fällt aus! (korrigiert! Vorher war vom in der Vergangenheit liegenden 04.12.2015 die Rede, was natürlich Unsinn war.)
23.11.2015 Achtung, Änderung im Terminplan: Vorlesung am 4.12.2015 findet statt!
17.11.2015 Achtung, Änderung im Terminplan: Keine Vorlesung am 27.11.2015! Der Termin wird auf den 20.11.2015 vorgezogen.
26.10.2015 Die Probleme mit WebInscribe sind seit gestern Abend behoben.
25.10.2015 Leider scheint es derzeit Probleme mit dem WebInscribe zu geben. Falls Sie dort kein Einteilungsergebnis angezeigt bekommen, können Sie es alternativ hier abrufen. Genauere Informationen hierzu finden Sie im Forum.
23.10.2015 Die WebInscribe-Einteilung für die Übungsgruppen ist jetzt verfügbar.
19.10.2015 Seit heute ist die Anmeldung zu den Übungsgruppen über WebInscribe eröffnet. Sie endet am Freitag, den 23.10.2015 um 16:30 Uhr

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 über WebInscribe statt. Eine Übersicht über die Termine der 8 Übungsgruppen finden Sie unten. Sie brauchen nur eine der Übungsgruppen besuchen.

Unterlagen

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
19.10.2015 Erste Schritte mit Haskell [Übungsblatt 0]
22.10.2015 Rekursive Funktionen und Listen [Übungsblatt 1][Zusatzblatt 1]
[Beispiellösung Blatt 1][Beispiellösung Zusatzblatt 1]
29.10.2015 Bindung, Kombinatoren, Pattern [Übungsblatt 2][Zusatzblatt 2]
[Beispiellösung Blatt 2][Beispiellösung Zusatzblatt 2]
5.11.2015 Laziness, Streams [Übungsblatt 3][Zusatzblatt 3]
[Beispiellösung Blatt 3][Beispiellösung Zusatzblatt 3]
12.11.2015 Datentypen, Typklassen [Übungsblatt 4][Zusatzblatt 4]
[Beispiellösung Blatt 4][Beispiellösung Zusatzblatt 4]
19.11.2015 λ-Kalkül, Church-Zahlen, Typen [Übungsblatt 5][Zusatzblatt 5]
[Beispiellösung Blatt 5][Beispiellösung Zusatzblatt 5]
26.11.2015 Rekursionsoperatoren, Typprüfung [Übungsblatt 6][Zusatzblatt 6]
[Rahmen λ-Interpreter][Tests λ-Interpreter]
[Beispielllösung Blatt 6][Beispielllösung Zusatzblatt 6]
[Beispiellösung λ-Interpreter]
3.12.2015 Prolog, Ausführungsbäume [Übungsblatt 7][Zusatzblatt 7]
[Beispiellösung Blatt 7][Beispiellösung Zusatzblatt 7]
10.12.2015 Prolog, Unifikation, Cuts [Übungsblatt 8][Zusatzblatt 8]
[Beispiellösung Blatt 8][Beispiellösung Zusatzblatt 8]
17.12.2015 Weihnachtsaufgaben [Übungsblatt X][Benötigte Dateien und Frameworks]
[Beispiellösung Blatt X][Beispiellösung Musik-Aufgabe][Beispiellösung OSM-Aufgabe]
7.1.2016 Typinferenz, let-Polymorphismus [Übungsblatt 9][Zusatzblatt 9]
[Beispiellösung Blatt 9][Beispiellösung Zusatzblatt 9]
14.1.2016 C, MPI [Übungsblatt 10][Zusatzblatt 10]
[Beispiellösung Blatt 10][Beispiellösung Zusatzblatt 10]
21.1.2016 Java [Übungsblatt 11][Vorgegebener Code]
[Beispiellösung Blatt 11]
28.1.2016 Scala, X10 [Übungsblatt 12][Zusatzblatt 12]
[Beispiellösung Blatt 12][Beispiellösungs Code Blatt 12][Beispiellösung Zusatzblatt 12]
4.2.2016 Codeerzeugung, syntaktische Analyse [Übungsblatt 13][Benötigte Dateien]
[Zusatzblatt 13][Benötigte Dateien]
[Beispiellösung Blatt 13][Beispiellösung Zusatzblatt 13]
[Beispiellösung Aufgabe 3][Beispiellösung Aufgabe Z1]

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!

Forum

Für Fragen, Hilfe und Gedankenaustausch zur Übung oder den Übungsaufgaben steht das Forum zur Verfügung.

Termine

Die Übungsgruppen finden wöchentlich statt! Die erste Übung ist am 26.10.2015 bzw. am 27.10.2015. 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 Jonas Sauer
2 Montags 11:30 Uhr SR 236 Andreas Fried
3 Montags 14:00 Uhr SR 131 Jonas Sauer
4 Montags 17:30 Uhr SR 236 Lucas Werkmeister
5 Dienstags 09:45 Uhr SR 236 Michael Hoff
6 Dienstags 11:30 Uhr SR 131 Lucas Werkmeister
7 Dienstags 14:00 Uhr SR -119 Michael Hoff
8 Dienstags 14:00 Uhr SR 131 Andreas Fried

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:

Prolog

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

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 existier auch eine Variante mit integriertem Web IDE für Beispiele und Übungsaufgaben.

Veranstalter

Ehemalige Mitarbeiter
Dr.-Ing. Martin Mohr
Dr.-Ing. Manuel Mohr