Neuigkeiten
| 21.03.2012 | In der Beispiellösung zu Blatt 5 wurde ein falsch gesetzter Redex korrigiert. |
| 31.10.2011 |
Statt der Übungstermine am Dienstag, 1.11., die wegen des Feiertags ausfallen, finden am Mittwoch, 2.11., um
|
| 18.10.2011 | Das Programmierparadigmen Forum wurde eingerichtet. |
| 17.10.2011 | Ab heute ist die Anmeldung zu den Übungsgruppen über WebInscribe eröffnet, sie endet am Freitag 21.10. um 18:00 |
| 14.10.2011 | Das Programmierparadigmen VM-Image steht zur Verfügung |
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 6 Übungsgruppen finden Sie unten. Sie brauchen nur eine der Übungsgruppen besuchen. Die Anmeldung endet am Freitag 21.10. um 18:00.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.
| Sonstiges | ||
|---|---|---|
| 30.12.2011 | Blatt X - synthNote.wav | Download |
| Übungsblätter PDF | ||
| 18.10.2011 | Blatt 0 - Erste Schritte mit Haskell | Download |
| 20.10.2011 | Blatt 1 - Rekursive Funktionen in Haskell | Download |
| 27.10.2011 | Blatt 2 - Bindung, Kombinatoren, Pattern | Download |
| 03.11.2011 | Blatt 3 - Laziness | Download |
| 11.11.2011 | Blatt 4 - Datentypen, Vektorgrafik, Typklassen | Download |
| 17.11.2011 | Blatt 5 - λ-Kalkül | Download |
| 24.11.2011 | Blatt 6 - Rekursionsoperatoren, Church-Listen | Download |
| 01.12.2011 | Blatt 7 - Typinferenz, let-Polymorphismus | Download |
| 09.12.2011 | Blatt 8 - Ausführungsbäume, Nummern | Download |
| 15.12.2011 | Blatt 9 - Prolog: partielle Instanziierung, Tiefensuche, Paterson-Wegman-Unifikation | Download |
| 22.12.2011 | Blatt X - Weihnachtszettel | Download |
| 12.01.2012 | Blatt 10 - C, C++ & MPI | Download |
| 19.01.2012 | Blatt 11 - MPI: Communication modes | Download |
| 26.01.2012 | Blatt 12 - Scala und X10 | Download |
| 02.02.2012 | Blatt 13 - Syntaktische Analyse, Codeerzeugung | Download |
| Sonstiges Sourcecode | ||
| 11.11.2011 | Blatt 4 - SVG Rahmenwerk | Download |
| 22.12.2011 | Blatt X - Song | Download |
| 22.12.2011 | Blatt X - Wave Rahmenwerk | Download |
| 22.12.2011 | Blatt X - Lambda Rahmenwerk | Download |
| 22.12.2011 | Blatt X - Lambda Tests | Download |
| 19.01.2012 | Blatt 11 - deadlock.c | Download |
| 19.01.2012 | Blatt 11 - MonteCarloPiSequential.c | Download |
| 26.01.2012 | Blatt 12 - Scala Application Skeleton | Download |
| 26.01.2012 | Blatt 12 - PiSequential.x10 | Download |
| 02.02.2012 | Blatt 13 - bytecodeExamples.zip | Download |
| 02.02.2012 | Blatt 13 - Shortcut.j | Download |
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.
Termin
Die Übungsgruppen finden wöchentlich statt! Die erste Übungsgruppe ist am 24.10. bzw. am 25.10.| Gruppe | Tag | Beginn | Ort | Gruppenleiter |
|---|---|---|---|---|
| Gruppe 1 | Mo | 9:45h | SR 131 (50.34) | Martin Hecker |
| Gruppe 2 | Mo | 14:00h | SR 131 (50.34) | Martin Hecker |
| Gruppe 3 | Mo | 17:30h | SR 236 (50.34) | Manuel Mohr |
| Gruppe 4 | Di | 11:30h | SR 131 (50.34) | Manuel Mohr |
| Gruppe 5 | Di | 11:30h | SR 301 (50.34) | Sebastian Buchwald |
| Gruppe 6 | Di | 14:00h | SR 131 (50.34) | Sebastian Buchwald |
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 sichDie 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:
- O'Sullivan,Stewart,Goerzen Real World Haskell
- Lipovača Learn You a Haskell - for Great Good!
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.- den SWI-Prolog Editor (Windows)
Als zusätzliche Lernmaterialien empfehlen wir folgende Online-Einführung:
- Patrick Blackburn, Johan Bos, Kristina Striegnitz Learn Prolog Now!
Programmierparadigmen VM-Image
Eine Virtuelle Maschine mit vorinstallierten Entwicklungsumgebungen für die in der Vorlesung behandelten Sprachen ist verfügbar.
Veranstalter
| Partner |
|---|
| Johannes Stammel |
| Ehemalige Mitarbeiter |
|---|
| Dr.-Ing. Martin Hecker |
| Dr.-Ing. Manuel Mohr |
| Dipl.-Inform. Sebastian Buchwald |