HOME | ENGLISH | IMPRESSUM | KIT

Programmierparadigmen - Übungen

Neuigkeiten

03.11.2015 Für alle Studierenden, die nicht in die Nachprüfungen müssen, sind nun die Noten eingetragen.
21.10.2015 Die Klausurergebnisse sowie die Liste der Nachprüfungstermine 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.

22.10.2015
  • Die Klausurergebnisse zur Hauptklausur vom 21.09.2015 werden voraussichtlich am 29.10.2015 ausgehängt (Gebäude 50.34, gegenüber von der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls).
  • Die Klausureinsicht findet am 03.11.2015 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 09.11.2015 und 10.11.2015 zeitnah nach der Klausureinsicht 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.
10.09.2015 Die Anmeldefrist zur Wiederholerklausur wurde verlängert. Sie läuft nun bis zum 14.09.2015.
13.07.2015 Wie uns offiziell mitgeteilt wurde (und einige von Ihnen auch bereits festgestellt haben), ist die Anmeldung zur Klausur nun freigeschaltet!
07.07.2015 Wider Erwarten ist die Anmeldung zur Klausur noch nicht freigeschaltet. Wie lange sich das noch verzögert, ist unklar. Bis Ende August / Anfang September sollte es möglich sein. Wir empfehlen Ihnen, es immer mal wieder zu versuchen.
25.06.2015 Die Wiederholerklausur am 21.09.2015 findet um 11:00 Uhr im Hörsaal am Fasanengarten statt.
01.06.2015 Die Wiederholerklausur findet am 21.09.2015 statt. Die Anmeldung ist voraussichtlich ab dem 08.06.2015 freigeschaltet. Genaueres zu Uhrzeit und Ort wird noch bekannt gegeben.
05.05.2015 Die Noten sind nun für alle Studierenden im QISPOS eingetragen, die (nach der Klausureinsicht) nicht in die Nachprüfung müssen.
30.04.2015 Zur Information: Die Klausurergebnisse werden im Anschluss an die Klausureinsicht — also insbesondere vor der für Master-Bewerbungen relevanten Frist am 12.05. — eingetragen.
29.04.2015 Die Klausurergebnisse hängen nun aus!
17.04.2015
  • Die Klausurergebnisse zur Hauptklausur vom 09.04.2015 werden voraussichtlich am 29.04.2015 ausgehängt (Gebäude 50.34, gegenüber von der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls).
  • Die Klausureinsicht findet am 05.05.2015 zwischen 13:00 Uhr und 15:00 Uhr im Raum 010 im Informatik-Gebäude (50.34) statt.
  • Etwaige mündliche Nachprüfungen werden voraussichtlich am 06.05.2015 und 07.05.2015 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.
08.04.2015 Die Hörsaalzuteilung für Teilnehmer der Hauptklausur ist nun veröffentlicht.
Vergessen Sie nicht Ihren amtlichen Lichtbildausweis!
10.03.2015 Die TGI-Noten werden voraussichtlich am 20.03.2015 eingetragen sein.
10.03.2015 Die Anmeldung zur Klausur ist noch bis zum 29.03.2015 möglich. Bitte prüfen Sie rechtzeitig, ob die Anmeldung bei Ihnen geklappt hat!
26.02.2015 Am Dienstag, 31.03.2015 bieten wir zwischen 14:00 und 15:30, im Raum -102 (Informatikgebäude, 50.34) eine Sonderübung an. Hier haben Sie die noch mal die Möglichkeit, Fragen zum Inhalt der Vorlesungen und Übungsaufgaben z u stellen. Schicken Sie uns möglichst vorab schon per eMail Fragen und Themenwünsche, die Sie gerne an diesem Termin besprochen sehen würden. Natürlich steht auch weiterhin das Forum zur Verfügung.
12.01.2015 Am Freitag, den 16.01.2015 findet die Vorlesung statt. Dafür findet am 23.01.2015 keine Vorlesung statt.
30.10.2014 Ab morgen haben Sie die Möglichkeit, am Haskell-Wettbewerb zur Vorlesung "Einführung in die Informatik 2" teilzunehmen. Falls Sie Interesse haben, gibt es am kommenden Montag, den 03.11.2014 um 13:00 Uhr im Raum 301 (Geb. 50.34) ein Vorbereitungstreffen mit Joachim Breitner.
24.10.2014 Die WebInscribe-Einteilung für die Übungsgruppen ist jetzt verfügbar.
20.10.2014 Seit heute ist die Anmeldung zu den Übungsgruppen über WebInscribe eröffnet. Sie endet am Freitag, den 24.10.2014 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.

Übungsblätter PDF
22.10.2014 Blatt 0 - Erste Schritte in Haskell Download
22.10.2014 Blatt 1 - Rekursive Funktionen in Haskell Download
29.10.2014 Blatt 2 - Bindung, Kombinatoren, Pattern Download
05.11.2014 Blatt 3 - Laziness Download
12.11.2014 Blatt 4 - Datentypen, Typklassen, Monaden Download
19.11.2014 Blatt 5 - Auswertungsstrategien, Church-Kodierung, Typen Download
26.11.2014 Blatt 6 - Rekursionsoperatoren, Typprüfung Download
03.12.2014 Blatt 7 - Vier Farben, Ausführungsbäume, Rätsel Download
22.12.2014 Blatt X - Weihnachtsblatt Download
08.01.2015 Blatt 9 - Typinferenz, let-Polymorphismus Download
15.01.2015 Blatt 10 - Amdahls Gesetz, Flynns Taxonomie, Philosophen Download
22.01.2015 Blatt 11 - MPI Download
29.01.2015 Blatt 12 - Scala, X10 Download
05.02.2015 Blatt 13 - syntaktische Analyse, Codeerzeugung Download
Zusatzaufgaben PDF
22.10.2014 Blatt 1 - Zusatzaufgaben Download
29.10.2014 Blatt 2 - Zusatzaufgaben Download
05.11.2014 Blatt 3 - Zusatzaufgaben Download
12.11.2014 Blatt 4 - Zusatzaufgaben Download
19.11.2014 Blatt 5 - Zusatzaufgaben Download
26.11.2014 Blatt 6 - Zusatzaufgaben Download
10.12.2014 Blatt 8 - Zusatzaufgaben Download
16.02.2015 Blatt 13 - Zusatzaufgaben Download
Beispiellösungen PDF
29.10.2014 Blatt 0 - Beispiellösung Download
05.11.2014 Blatt 1 - Beispiellösung Download
12.11.2014 Blatt 2 - Beispiellösung Download
19.11.2014 Blatt 3 - Beispiellösung Download
26.11.2014 Blatt 4 - Beispiellösung Download
03.12.2014 Blatt 5 - Beispiellösung Download
10.12.2014 Blatt 6 - Beispiellösung Download
11.12.2014 Blatt 7 - Beispiellösung Download
08.01.2015 Blatt 8 - Beispiellösung (10.01.2015: Tippfehler beseitigt) Download
23.01.2015 Blatt 9 - Beispiellösung Download
23.01.2015 Blatt X - Beispiellösung Download
29.01.2015 Blatt 10 - Beispiellösung Download
18.02.2015 Blatt 11 - Beispiellösung Download
18.02.2015 Blatt 12 - Beispiellösung Download
18.02.2015 Blatt 13 - Beispiellösung Download
Beispiellösungen Zusatzaufgaben PDF
05.11.2014 Blatt 1 - Zusatzaufgaben - Beispiellösung Download
12.11.2014 Blatt 2 - Zusatzaufgaben - Beispiellösung Download
19.11.2014 Blatt 3 - Zusatzaufgaben - Beispiellösung Download
26.11.2014 Blatt 4 - Zusatzaufgaben - Beispiellösung Download
03.12.2014 Blatt 5 - Zusatzaufgaben - Beispiellösung Download
08.01.2015 Blatt 8 - Zusatzaufgaben - Beispiellösung Download
18.02.2015 Blatt 13 - Zusatzaufgaben - Beispiellösung Download
Tutoriumsfolien PDF
04.02.2015 Berechnung von First/Follow Mengen Download
Übungsblätter Sourcecode Sourcecode
12.11.2014 Blatt 4 - Svg Rahmenwerk Download
12.11.2014 Quellcode Lauflängenkodierung Download
27.11.2014 Blatt 6 - Rahmen für den Lambda-Interpreter Download
27.11.2014 Blatt 6 - Tests für den Lambda-Interpreter Download
15.12.2014 Blatt 6 - Beispiellösung Lambda Interpreter Download
21.12.2014 Weihnachtsblatt - Rahmenwerke Download
05.02.2015 Blatt 13 - shortcut.j Download
05.02.2015 Blatt 13 - JSONSimpleParser.java Download
05.02.2015 Blatt 13 Zusatz - JSONParser.java 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.

Haskell-Wettbewerb

Informationen zum Ablauf, wichtige Links

Fragen, Probleme?

Bei technischen Problemen oder Fragen zum Wettbewerb können Sie sich an das Forum wenden.

Termine

Die Übungsgruppen finden wöchentlich statt! Die erste Übungsgruppe ist am 27.10.2014 bzw. am 28.10.2014
Gruppe Tag Beginn Ort Gruppenleiter
1 Montags 09:45 Uhr SR 131 Dennis Felsing
2 Montags 11:30 Uhr SR 236 Dennis Felsing
3 Montags 14:00 Uhr SR 131 Daniel Krüger
4 Montags 17:30 Uhr SR 236 Daniel Krüger
5 Dienstags 09:45 Uhr SR 236 Andreas Fried
6 Dienstags 11:30 Uhr SR 131 Simon Bischof
7 Dienstags 14:00 Uhr SR -119 Simon Bischof
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. 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

Wissenschaftliche Mitarbeiter
Martin Mohr
Martin Hecker