HOME | ENGLISH | IMPRESSUM | KIT

Programmierparadigmen - Übungen

Neuigkeiten

21.03.2012In 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
  • 09:45 Uhr, SR -119 (50.34), Sebastian Buchwald
  • 11:30 Uhr, SR 236 (50.34), Manuel Mohr
  • 15:45 Uhr, SR 207 (50.41), Sebastian Buchwald
Ersatzübungen statt.
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 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:

Programmierparadigmen VM-Image

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

Veranstalter

Partner
Johannes Stammel
Wissenschaftliche Mitarbeiter
Martin Hecker
Sebastian Buchwald
Manuel Mohr