CS 310: Konzepte von Programmiersprachen

VL+UE 12 113 11310

Konzepte von Programmiersprachen

Prof. Dr. R. Loogen

Di 16.15 - 18.00, Hörsaal IV (Raum 04A30, Lahnberge)
Mi 14.15 - 16.00, Hörsaal IV (Raum 04A30, Lahnberge)

Beginn: Dienstag, 14. April 2015

Übungen

Lukas Schiller

Übungstermine

Studierende im ersten Fachsemester: donnerstags 14-16 Uhr, Seminarraum XII (Raum 03C52, Lahnberge)
Studierende höherer Fachsemester: wahlweise donnerstags 10-12 oder donnerstags 16-18 oder freitags 10-12

Tutor/in	Termin	Raum	Infos
Florian Fey	Do, 10-12 Uhr	SR XV (Raum 04C37, Lahnberge)
Bastian Reitemeier	Do, 14-16 Uhr	neu: SR XI (Raum 03C51, Lahnberge)	Übungsgruppe für Erstsemester Am 18. Juni, 25. Juni und 9. Juli findet die Übung im SR IX (Raum 07A01) statt!
Tobias Weber	Do, 14-16 Uhr	HS II (Raum 03A16, Lahnberge)	Übungsgruppe für Erstsemester
Andreas Voeth	Do, 16-18 Uhr	HS II (Raum 03A16, Lahnberge)
Katrin Sacher	Fr, 10 - 12 Uhr	SR XII (Raum 03C52, Lahnberge)	Ersatztermin für 1. Mai (Tag der Arbeit): Mi 29.04., 10-12 Uhr, SR XII (Raum 03C52, Lahnberge)

Die Übungsgruppen beginnen in der zweiten Vorlesungswoche, d.h. am 23. und 24. April 2015. Das erste Übungsblatt wird am Dienstag, dem 21. April ausgegeben.

Fachdidaktik-Begleitseminar

Thema:	Haskell-Projekte in der Schule
Vorbesprechung:	Dienstag, 5. Mai 2015, im Anschluss an die Vorlesung

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 2015.
Erwerb von mindestens 50% der erreichbaren Punkte in den Übungsaufgaben, 40 % für Lehramtsstudierende (nach modularisierter Ordnung)
Hinweis für Wiederholer: Einmal erbrachte Studienleistungen müssen nicht mehr wiederholt werden. Haben Sie bereits erfolglos an der Modulprüfung zum Modul "Konzepte von Programmiersprachen" teilgenommen, sind Sie auf jeden Fall zur Wiederholungsprüfung zugelassen. Trotzdem empfehlen wir Ihnen zur Klausurvorbereitung, aktiv an den Übungen teilzunehmen, insbesondere wenn Sie das Modul zuvor bei einem anderen Dozenten absolviert haben. Anmeldung zur Modulprüfung: bis 19. Juni 2015
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 15. bis 19. Juni 2015 per Liste an.
Bei Nichtbestehen der Klausur müssen sich Lehramtsstudierende nach modularisierter Ordnung zur Wiederholungsklausur erneut anmelden. Bachelorstudierende und alle übrigen Studierenden werden bzw. sind automatisch zur Wiederholungsklausur angemeldet, können sich von dieser aber wieder abmelden. Die Anmelde- bzw. Abmeldefrist ist zu beachten.

Übungsablauf:

Die Ausgabe der Übungszettel erfolgt dienstags über das ILIAS-System, in das Sie sich mit Ihrem HRZ-Login einloggen können.
Die Abgabe der Hausaufgaben erfolgt dienstags 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: Mittwoch, 22. Juli 2015, 13.00 - 15.00 Uhr, Hörsaal A des Chemie-Hörsaalsgebäudes auf den Lahnbergen.
Bitte bringen Sie Ihren Studierendenausweis und den Personalausweis mit!
Klausureinsicht: Donnerstag, 23. Juli 2015, 15.00 - 16.00 Uhr, Seminarraum V (Raum 05A09, Lahnberge)

Unterlagen zur Vorlesung

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

Literatur:

Funktionale Programmierung
siehe auch Haskell Documentation
- Miran Lipovaca: Learn You a Haskell for Great Good!, No Starch Press (April 2011)
- S. Thompson: Haskell - The Craft of Functional Programming, 2nd edition, Addison-Wesley 1999
- Graham Hutton: Programming in Haskell, Cambridge University Press 2007.
- Richard Bird: Thinking Functionally with Haskell, Cambridge University Press, Dec. 2014
- P. Hudak: The Haskell School of Expression: Learning Functional Programming through Multimedia, Cambridge University Press 2000
- Bryan O'Sullivan, Don Stewart, and John Goerzen: Real World Haskell, O'Reilly 2008.
- P. Thiemann: Grundlagen der funktionalen Programmierung Teubner-Verlag 1994
- M. Chakravarty, G. Keller: Einführung in die Programmierung mit Haskell, Pearson Studium 2004.
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: Haskell Homepage Haskell Wiki Page Haskell Plattform (Glasgow Haskell Compiler, GHC)
	Prolog: SWI-Prolog Homepage SWI-Prolog Online Manual

Inhalt:

Einführung
Grundkonzepte funktionaler Programmierung
Datenstrukturen
Nachweis von Programmeigenschaften
Interaktive Ein-/Ausgabe
Funktionen höherer Ordnung
Typinferenz
Laziness: Bedarfsgesteuerte Auswertung
Monadische Programmierung
Der Lambda-Kalkül
Logik-Programmierung

Zuletzt geändert: Thursday, 23-Jul-2015 12:52:19 CEST

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 2015. Erwerb von mindestens 50% der erreichbaren Punkte in den Übungsaufgaben, 40 % für Lehramtsstudierende (nach modularisierter Ordnung) Hinweis für Wiederholer: Einmal erbrachte Studienleistungen müssen nicht mehr wiederholt werden. Haben Sie bereits erfolglos an der Modulprüfung zum Modul "Konzepte von Programmiersprachen" teilgenommen, sind Sie auf jeden Fall zur Wiederholungsprüfung zugelassen. Trotzdem empfehlen wir Ihnen zur Klausurvorbereitung, aktiv an den Übungen teilzunehmen, insbesondere wenn Sie das Modul zuvor bei einem anderen Dozenten absolviert haben. Anmeldung zur Modulprüfung: bis 19. Juni 2015 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 15. bis 19. Juni 2015 per Liste an. Bei Nichtbestehen der Klausur müssen sich Lehramtsstudierende nach modularisierter Ordnung zur Wiederholungsklausur erneut anmelden. Bachelorstudierende und alle übrigen Studierenden werden bzw. sind automatisch zur Wiederholungsklausur angemeldet, können sich von dieser aber wieder abmelden. Die Anmelde- bzw. Abmeldefrist ist zu beachten.
Übungsablauf:	Die Ausgabe der Übungszettel erfolgt dienstags über das ILIAS-System, in das Sie sich mit Ihrem HRZ-Login einloggen können. Die Abgabe der Hausaufgaben erfolgt dienstags 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.