Neuigkeiten

07.11.2013	Die mündlichen Nachprüfungen zur Wiederholerklausur vom 1. Oktober finden am Montag, den 18.11.2013 statt. Betroffene Studenten melden sich bitte umgehend im Sekretariat des Lehrstuhls (Raum 026, Geb. 50.34), um den Termin zu bestätigen.
07.11.2013	Die Klausurergebnisse zur Wiederholerklausur vom 1. Oktober hängen in Geb. 50.34 gegenüber der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls aus.
31.10.2013	Die Klausurergebnisse zur Wiederholerklausur vom 1. Oktober werden Ende nächster Woche (voraussichtlich am 8.11.) ausgehängt.
17.10.2013	Die Klausureinsicht zur Wiederholerklausur vom 1. Oktober wurde auf den 12. November 2013 verschoben (siehe hier).
09.08.2013	Der Anmeldeschluss zur Wiederholerklausur ist am 18. September 2013. Sie können sich über das Studierendenportal zur Wiederholerklausur anmelden.
16.05.2013	Eine Beispiellösung der Klausur vom 10. April 2013 ist online.
16.05.2013	Die endgültigen Klausurergebnisse wurden in das Studierendenportal eingepflegt.
06.05.2013	Für Teilnehmer der Klausur Programmierparadigmen, welche diese wiederholt nicht bestanden haben, finden am Mittwoch, 15.05.2013 im Zeitraum zwischen 14:00 Uhr und 16:00 Uhr im Raum 021, Gebäude 50.34 mündliche Nachprüfungen statt. Betroffene melden sich bitte umgehend im Sekretariat bei Frau Sehan zur Bestätigung des Termins.
06.05.2013	Die Wiederholerklausur findet am 01.10.2013 statt (Details siehe hier).
06.05.2013	Die Klausureinsicht findet am 14.05.2013 um 13:00 Uhr in Raum 010 im Gebäude 50.34 statt.
06.05.2013	Die Aufgaben der Klausur sind nun online (nur aus dem KIT-Netz).
30.04.2013	Die Ergebnisse der Klausur vom 10.04.2013 hängen ab jetzt gegenüber des Sekretariats sowie im Foyer vor der Bibliothek im Informatik-Gebäude aus.
22.03.2013	Die Musterlösungen für Übungsblatt 12 und 13 wurden ergänzt.
07.02.2013	Sie können sich im Studierendenportal online zur Klausur anmelden. Anmeldeschluss ist der 28. März 2013. Bitte prüfen Sie rechtzeitig, ob die Anmeldung geklappt hat. Sie sind korrekt angemeldet, wenn die Anmeldung unter "Info über angemeldete Prüfungen" im Studierendenportal zu sehen ist.
07.02.2013	Unter Unterlagen ist jetzt ein Beispielcompiler für die Simple-Sprache zu finden.
07.02.2013	Unter Altklausuren sind jetzt sämtliche Programmierparadigmen-Altklausuren mit und ohne Musterlösung zu finden.
06.02.2013	Im Studierendenportal wurde bisher das Modul Programmierparadigmen als bestanden (ohne Note) angezeigt, auch wenn die Klausur Programmierparadigmen noch nicht bestanden war. Dieser Anzeigefehler ist jetzt behoben. Falls trotzdem noch Probleme auftreten sollten, wenden Sie sich bitte an Manuel Mohr oder Denis Lohner.
30.01.2013	In den Tutorien am 4. und 5. Februar werden die Themen MPI und Compiler behandelt. Aufgrund des umfangreichen Stoffs, wird in den Tutorien am Montag, 4. Februar, das Thema MPI behandelt, am Dienstag, 5. Februar, das Thema Compiler. Sie dürfen daher in dieser Woche gerne zwei Tutorientermine wahrnehmen.
12.12.2012	Die Vorlesung am 12.12.2012 ist wegen eines defekten Beamers und eines unauffindbaren Hausmeisters ausgefallen. Ersatztermin ist Freitag, der 14.12.2012.
27.11.2012	Der Vorlesungstermin am 30.11.2012 entfällt.
07.11.2012	Die Programmierparadigmen-Hauptklausur wurde auf den 10.04.2013, 14:00 Uhr verschoben. Die Klausur wird im Audimax stattfinden.
19.10.2012	Die Webinscribe-Einteilung für die Übungsgruppen ist jetzt verfügbar.
16.10.2012	Ab heute, 18:00 Uhr, ist die Anmeldung zu den Übungsgruppen über WebInscribe eröffnet, sie endet am Freitag 19.10. um 15:00 Uhr.
16.10.2012	Das Programmierparadigmen VM-Image (ca. 2,0 GB) steht zur Verfügung

Description only available in German.

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.

Exercise sheets PDF
16.10.2012	Exercise Sheet 0: First steps with Haskell	Download
18.10.2012	Exercise Sheet 1: Recursive functions in Haskell	Download
25.10.2012	Exercise Sheet 2: Binding, Combinators, Patterns	Download
31.10.2012	Exercise Sheet 3: Laziness	Download
08.11.2012	Exercise Sheet 4: Data types, type classes, Church numerals, vector graphics	Download
15.11.2012	Exercise Sheet 5: Evaluation strategies, Church numerals, Recursion operators	Download
22.11.2012	Exercise Sheet 6 - Recursion operators, type inference	Download
29.11.2012	Exercise Sheet 7: type inference, let polymorphism	Download
06.12.2012	Exercise Sheet 8: Four colors, execution trees, brainteaser	Download
13.12.2012	Exercise Sheet 9: Unification, depth first search, deciphering	Download
20.12.2012	Exercise Sheet X: Xmas Sheet	Download
20.12.2012	Xmas Quiz	Download
10.01.2013	Exercise Sheet 10: Scala	Download
17.01.2013	Exercise Sheet 11: Scala/X10	Download
24.01.2013	Exercise Sheet 12: C/C++, MPI, X10	Download
31.01.2013	Exercise Sheet 13 - Syntactic analysis, code generation	Download
Misc Sourcecode
13.11.2012	Exercise Sheet 4 - Svg Framework	Download
22.11.2012	Exercise Sheet 6 - Lambda Tests	Download
22.11.2012	Exercise Sheet 6 - Lambda Framework	Download
29.11.2012	Exercise Sheet 6 - Solution to Lambda.hs	Download
29.11.2012	Exercise Sheet 7 - UnificationTest.hs	Download
29.11.2012	Exercise Sheet 7 - Unification.hs	Download
20.12.2012	Exercise Sheet X - Wave Framework	Download
20.12.2012	Exercise Sheet X - Song	Download
20.12.2012	Exercise Sheet X - synthNote.wav	Download
20.12.2012	Exercise Sheet X - GifStream Framework	Download
20.12.2012	Exercise Sheet X - Snake.hs	Download
17.01.2013	Exercise Sheet 11 - Roman Number Sceleton	Download
31.01.2013	Exercise Sheet 13 - minicalc.zip	Download

Exercises

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.

Schedule

Die Übungsgruppen finden wöchentlich statt! Die erste Übungsgruppe ist am 22.10.2012 bzw. am 23.10.2012

Gruppe	Tag	Beginn	Ort	Gruppenleiter
1	Montags	09:45 Uhr	SR 131	Andreas Fried
2	Montags	11:30 Uhr	SR 236	Dennis Felsing
3	Montags	14:00 Uhr	SR 131	Tobias Zündorf
4	Montags	17:30 Uhr	SR 236	Tobias Zündorf
5	Dienstags	09:45 Uhr	SR 236	Lorenz Hübschle-Schneider
6	Dienstags	11:30 Uhr	SR 131	Andreas Fried
7	Dienstags	11:30 Uhr	SR 301	Lorenz Hübschle-Schneider
8	Dienstags	14:00 Uhr	SR 131	Dennis Felsing

Personnel

Department Head
Prof. Gregor Snelting

Former Staff Member
Dr.-Ing. Manuel Mohr
Dipl.-Inform. Denis Lohner