CS 310: Konzepte von Programmiersprachen (Praktische Informatik III)
VL+UE 12 113 11310 Konzepte von Programmiersprachen (Praktische Informatik III)
Prof. Dr. R. Loogen
Mo, Di 16.15 - 18.00, jeweils HS B (HC 8, Chemie-Hörsaalgebäude, Lahnberge)
Beginn: Dienstag, 16. April 2013
Übungen Mischa Dieterle
Übungstermine Studierende im ersten Fachsemester: donnerstags 14-16 Uhr, Seminarraum XV (Raum 04C37, Lahnberge)
Studierende höherer Fachsemester: wahlweise mittwochs 14-16 oder mittwochs 16-18 oder donnerstags 10-12
Tutor/inTerminRaumInfos
Andreas Voeth Mi, 14-16 UhrSeminarraum XV (Raum 04C37, Lahnberge) Ersatztermin für 1. Mai (Tag der Arbeit):
Freitag, 3. Mai, 14-16 Uhr, SR XV
Am Mittwoch, dem 8. Mai (Sport Dies) entfällt die Übung.
Lukas Schiller Mi, 16-18 Uhr Seminarraum XV (Raum 04C37, Lahnberge) Ersatztermin für 1. Mai (Tag der Arbeit):
Freitag, 3. Mai, 14-16 Uhr, HS II
Am Mittwoch, dem 8. Mai (Sport Dies) entfällt die Übung.
Dominik Krappel Do, 14-16 UhrSeminarraum XV (Raum 04C37, Lahnberge) Übungsgruppe speziell für Erstsemester;
Am Donnerstag, dem 9. Mai (Christi Himmelfahrt) entfällt die Übung.
Ersatztermin für 30. Mai (Fronleichnam):
Mittwoch, den 29. Mai 2013, 14 - 16 Uhr, HS II
René Frank Do, 10.30 - 12.00 UhrSeminarraum XI (Raum 03C51, Lahnberge) Am Donnerstag, dem 9. Mai (Christi Himmelfahrt) entfällt die Übung.
Ersatztermin für 30. Mai (Fronleichnam):
Mittwoch, den 29. Mai 2013, 16 - 18 Uhr, SR XI
Die Übungsgruppen beginnen in der zweiten Vorlesungswoche, d.h. am 24. und 25. April 2013. Das erste Übungsblatt wird am Dienstag, dem 23. April ausgegeben.
Sondertutorien
  • speziell für Anfänger: Freitag, 3. Mai, 16 - 18 Uhr, Rechnerraum 03A19 (Rechnerpool A3)
  • Am Dienstag, dem 21. Mai 2013 fand anstelle der Vorlesung in den Rechnerräumen auf A4 (Raum 04A24) und D5 (Raum 05D08) ein Sondertutorium zu den folgenden Themen statt:
    • Rekursive Funktionen
    • Listen und Tupel
    • Algebraische Datenstrukturen
  • Dienstag, 4. Juni, nach der Vorlesung von 18 bis 20 Uhr im Rechnerraum auf Ebene A4 (Raum 04A24)
  • Freitag, 19. Juli, 16.15 bis 18.00 Uhr im Hörsaal IV auf Ebene A4 (Raum 04A30)
Fachdidaktik-Begleitseminar
Thema: Haskell-Projekte in der Schule
Vorbesprechung: Montag, 13. Mai 2013, im Anschluss an die Vorlesung
Termin: Mittwoch, 31. Juli 2013, ab 10.00 Uhr im Seminarraum VII (Raum 05D01)
Fachgebiet Klassifikation Semester Leistungspunkte Skript
Informatik Aufbaumodul >=1 9 ja

Voraussetzungen: Diese VL ist eine einführende Veranstaltung für Studierende der Informatik, des Lehramtsstudiengangs Informatik und mit Nebenfach Informatik.
Modulprüfung: Zulassungsvoraussetzungen für die Modulprüfung (Klausur):
  • Aktive Teilnahme an den Übungen
  • Vorrechnen von mindestens zwei Aufgaben bis zum 30. Juni 2013.
  • Erwerb von mindestens 50% der erreichbaren Punkte in den Übungsaufgaben, 40 % für Lehramtsstudierende (nach modularisierter Ordnung von 2005)
Achtung: Studienleistungen aus Vorjahren werden nicht für die Zulassung zur Abschlussklausur anerkannt!
Anmeldung zur Modulprüfung: bis 21. Juni 2013
Studierende in den Lehramtsstudiengängen und in den Bachelorstudiengägen des Fachbereichs (StPO 2010) müssen sich über das LSF/QIS-Portal zur Modulprüfung anmelden.
Alle anderen Studierenden melden sich bitte in den Vorlesungen oder in den Übungen der Woche vom 17. bis 21. Juni 2013 per Liste an.
Bei Nichtbestehen der Klausur müssen Lehramtsstudierende nach modularisierter Ordnung von 2005 sich zur Wiederholungsklausur erneut anmelden. Bachelorstudierende und alle übrigen Studierenden werden bzw. sind automatisch zur Wiederholungsklausur angemeldet, können sich von dieser aber wieder abmelden.
Übungsablauf:
  • Die Ausgabe der Übungszettel erfolgt montags nachmittags über das ILIAS-System, in das Sie sich mit Ihrem HRZ-Login einloggen können.
  • Die Abgabe der Hausaufgaben erfolgt montags vor der Vorlesung. Die Lösungen sollten grundsätzlich schriftlich, Programme zusätzlich per E-Mail an Ihren Tutor oder Ihre Tutorin abgegeben werden.
  • Die Abgabe ist in Zweiergruppen möglich.
  • Die Rückgabe und Besprechung findet in den Übungsgruppen statt.
  • Die Abgabe von kopierten Lösungen führt zur Aufteilung der Punkte auf das Original und die Kopien.


Termine: Klausur: Dienstag, 23. Juli 2013, 10.00 - 12.00 Uhr, HG +1/0020 ((HG 114, Biegenstraße)
Bitte bringen Sie Ihren Studierendenausweis und den Personalausweis mit!
Klausureinsicht: Mittwoch, 24. Juli 2013, 12.00 - 13.00 Uhr, Hörsaal IV (Raum 04A30, Lahnberge)

Im Anschluss an die Klausureinsicht findet um 13 Uhr im Hörsaal IV eine Vorbesprechung für das Seminar "Fun of Haskell Programming" im Wintersemester 2013/14 statt.

Wiederholungsklausur: Dienstag, 1. Oktober 2013, 10.00 - 12.00 Uhr, Achtung (neu): HS B (Chemie-Hörsaalgebäude, Lahnberge)
Bitte bringen Sie Ihren Studierendenausweis und den Personalausweis mit!

Klausureinsicht: Mittwoch, 2. Oktober 2013, 12.00 - 13.00 Uhr, SR V (Raum 05D09)

Unterlagen zur Vorlesung Übungsblätter, Folien und weitere Unterlagen werden über das ILIAS-System bereitgestellt:


Literatur:
  1. Funktionale Programmierung
    siehe auch Haskell Bookshelf
  2. Formale Modellierung
    • Chris Hankin: Introduction to Lambda Calculi for Computer Scientists, King's College Publications 2004.
    • Kees Doets, Jan van Eijck: The Haskell Road to Logic, Maths and Programming, King's College Publications 2004.
    • David A. Watt: Programmiersprachen: Konzepte und Paradigmen, Hanser 1996.
    • John C. Mitchell: Concepts of Programming Languages, Cambridge University Press 2003.

Links: Haskell Homepage
SWI-Prolog Homepage


Inhalt:
  1. Einführung
  2. Grundkonzepte funktionaler Programmierung
  3. Datenstrukturen
  4. Nachweis von Programmeigenschaften
  5. Interaktive Ein-/Ausgabe
  6. Funktionen höherer Ordnung
  7. Typinferenz
  8. Laziness: Bedarfsgesteuerte Auswertung
  9. Monadische Programmierung
  10. Der Lambda-Kalkül
  11. Logik-Programmierung


Zuletzt geändert: Monday, 30-Sep-2013 10:23:59 CEST