HOME | ENGLISH | IMPRESSUM | KIT

Programmierparadigmen - Übungen

Neuigkeiten

23.10.2014 Die mündlichen Nachprüfungen zur Wiederholerklausur vom 23.09. finden am Dienstag, den 04.11.2014 statt. Betroffene Studenten melden sich bitte umgehend im Sekretariat des Lehrstuhls (Raum 026, Geb. 50.34), um den Termin zu bestätigen.
23.10.2014 Die Klausurergebnisse zur Wiederholerklausur vom 23.09. hängen in Geb. 50.34 gegenüber der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls aus.
03.09.201402.10.2014 Die Klausureinsicht der Wiederholerklausur findet am Dienstag, 28.10.2014 zwischen 14:00 Uhr und 16:00 Uhr13:00 Uhr und 15:00 Uhr im Raum 010 im Informatik-Gebäude (50.34) statt.
03.09.2014 Das Anmeldeende der Wiederholerklausur ist Freitag, 12.09.2014.
05.06.2014 Die Beispiellösung zur Hauptklausur ist nun verfügbar.
04.06.2014 Der Termin der Wiederholerklausur wurde bekannt gegeben. Die Anmeldung per Studierendenportal wird voraussichtlich ab dem 10.06.2014 möglich sein.
29.04.2014 Seit heute mittag hängen die Klausurnoten und die Teilnehmerliste für die mündlichen Nachprüfungen aus.
28.04.2014 Der Aushang der vorläufigen Klausurnoten wird sich voraussichtlich noch bis morgen (29.04.2014) mittag verzögern.
17.04.2014 Die Klausureinsicht für Teilnehmer der Hauptklausur findet am 30.04. statt.
Der Zeitraum der mündlichen Nachprüfungen für Teilnehmer der Hauptklausur, welche wiederholt nicht bestanden haben, stehen auch bereits fest. Die Liste der hiervon betroffenen wird zusammen mit den vorläufigen Klausurnoten voraussichtlich bis zum 28.4. an der üblichen Stelle gegenüber der Informatik-Bibliothek ausgehängt. Dies wird dann auch hier nochmal bekannt gegeben.
07.04.2014 Die Hörsaalzuteilung für Teilnehmer der Hauptklausur ist nun veröffentlicht.
Vergessen Sie nicht Ihren amtlichen Lichtbildausweis!

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.

Übungsblätter PDF
23.10.2013 Blatt 0: Erste Schritte mit Haskell Download
24.10.2013 Blatt 1: Rekursive Funktionen in Haskell Download
31.10.2013 Blatt 2: Bindung, Kombinatoren, Pattern Download
07.11.2013 Blatt 3: Laziness, Streams Download
14.11.2013 Blatt 4: Datentypen, Typklassen, Monaden, Vektorgrafik Download
21.11.2013 Blatt 5: Auswertungsstrategien, Church-Kodierungen Download
28.11.2013 Blatt 6: Rekursionsoperatoren, Typinferenz Download
05.12.2013 Blatt 7: Typinferenz, let-Polymorphismus Download
12.12.2013 Blatt 8: Vier Farben, Ausführungsbäume, Rätsel Download
19.12.2013 Blatt X: Weihnachtsblatt Download
19.12.2013 Weihnachtsquiz - Neuauflage vom 2012er Quiz Download
09.01.2014 Blatt 9: Unifikation, Tiefensuche, Codes knacken Download
16.01.2014 Blatt 10: Primzahlen und Parallelverarbeitung Download
23.01.2014 Blatt 11: Pallelprogrammierung, Precedence-Regel und Sortierverfahren Download
30.01.2014 Blatt 12: Algorithmen in Java, Scala, MPI und X10 Download
06.02.2014 Blatt 13: Syntaktische Analyse, Codeerzeugung Download
Beispiellösungen PDF
31.10.2013 Blatt 0 - Beispiellösung Download
06.11.2013 Blatt 1 - Beispiellösung Download
12.11.2013 Blatt 2 - Beispiellösung Download
19.11.2013 Blatt 3 - Beispiellösung Download
21.11.2013 Blatt 4 - Beispiellösung Download
03.12.2013 Blatt 5 - Beispiellösung Download
11.12.2013 Blatt 6 - Beispiellösung Download
17.12.2013 Blatt 7 - Beispiellösung Download
09.01.2014 Blatt 8 - Beispiellösung Download
24.01.2014 Blatt 9 - Beispiellösung Download
30.01.2014 Blatt 10 - Beispiellösung Download
05.02.2014 Blatt 11 - Beispiellösung Download
13.02.2014 Blatt 12 - Beispiellösung Download
Tutoriumsfolien PDF
12.11.2014 Erste Schritte in Haskell Download
12.11.2014 Berechnung von First/Follow Mengen Download
Übungsblätter Sourcecode
14.11.2013 Blatt 4 - Svg Rahmenwerk Download
28.11.2013 Blatt 6 - Lambda Tests Download
28.11.2013 Blatt 6 - Lambda Rahmen Download
05.12.2013 Blatt 7 - Unification.hs Download
05.12.2013 Blatt 7 - TestsUnification.hs Download
19.12.2013 Blatt X - Rahmenwerke für Aufgaben 1,3,4 Download
06.02.2014 Blatt 13 - RegExp.hs Download
06.02.2014 Blatt 13 - TestsRegExp.hs Download
06.02.2014 Blatt 13 - TestsRegExpParser.java Download
06.02.2014 Blatt 13 - RegExpParser.java Download
06.02.2014 Blatt 13 - Shortcut.j Download
Beispiellösungen Sourcecode
11.12.2013 Blatt 6 - Lösung Lambda.hs Download
17.12.2013 Blatt 7 - UnificationSolution.hs Download
14.01.2014 Blatt X - Beispiellösung Download
05.02.2014 Blatt 11 - sieve-code.c Download
13.02.2014 Blatt 12 - Mergesort Lösungen Download
14.02.2014 Blatt 13 - Lösungen Download

Dennis Felsing bietet zur Begleitung seiner Tutorien weitere Materialien an.

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 VAB Forum zur Verfügung.

Termine

Die Übungsgruppen finden wöchentlich statt! Die erste Übungsgruppe ist am 28.10.2013 bzw. am 29.10.2013
Gruppe Tag Beginn Ort Gruppenleiter
1 Montags 09:45 Uhr SR 131 Simon Bischof
2 Montags 11:30 Uhr SR 236 Andreas Fried
3 Montags 14:00 Uhr SR 131 Simon Bischof
4 Montags 17:30 Uhr SR 236 Andreas Fried
5 Dienstags 09:45 Uhr SR 236 Dennis Felsing
6 Dienstags 11:30 Uhr SR 131 Michael Hoff
7 Dienstags 11:30 Uhr SR 301 Dennis Felsing
8 Dienstags 14:00 Uhr SR 131 Michael Hoff
Z1 Montags 17:30 Uhr SR -108
Z2 Montags 17:30 Uhr SR -109
Z3 Dienstags 11:30 Uhr SR -107

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. 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:

Veranstalter

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