Saarland University
Computer Science
Programming Systems
Teaching
Prog-1 2008


Hauptseite
Termine
Services
Literatur
Buch
Anmeldung
Software
Prüfungen
Login
Forum

Programmierung 1

Grundvorlesung, 9 Leistungspunkte

Wintersemester 2008/2009

Prof. Gert Smolka, Mark Kaminski, M.Sc.
FR Informatik, Universität des Saarlandes

Termine

Dienstag, 14.15-16.00 Uhr, HS I, Gebäude E2 5
Donnerstag, 10.15-12.00 Uhr, HS I, Gebäude E2 5

Erste Vorlesung am Dienstag, den 21. Oktober 2008
Letzte Vorlesung am Donnerstag, den 12. Februar 2009
Weihnachtspause 22. Dezember bis 2. Januar

Inhalt

Die Vorlesung ist eine Einführung in die Informatik, die Programmierung als Synthese von Theorie und Praxis vermittelt. Programmierkenntnisse werden nicht vorausgesetzt. Wir verwenden die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden können. Leitthema der Vorlesung ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen und Übersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken für Korrektheitsbeweise und Laufzeitbestimmungen behandelt. Zu der Vorlesung gibt es ein Lehrbuch.

Vorkenntnisse

Wir setzen keinerlei Programmierkenntnisse voraus. Dafür sollten Sie aber Freude am mathematischen Denken haben und für neue, abstrakte Ideen offen sein. Außerdem sollten Sie Erfahrung im Umgang mit Computern und dem Internet haben (als Benutzer, nicht als Techniker).

Was Sie tun können, bevor die Vorlesung anfängt.

Anmeldung

Sie müssen sich bei uns und bei HISPOS (dem Prüfungssystem der Universität) anmelden. Die Anmeldung bei uns ist notwendig, um an den Übungsgruppen und den Klausuren teilzunehmen. Die Anmeldung bei HISPOS ist erforderlich, damit wir Ihnen am Ende die Leistungspunkte gutschreiben können. Die Anmeldung bei uns sollte bis spätestens Donnerstag, 23. Oktober 2008 über dieses Web-Formular erfolgen.

Sie können auf Ihrer persönlichen Statusseite nachsehen, in welche Übungsgruppe Sie eingeteilt wurden. Um die Übungsgruppe zu wechseln, benötigen Sie einen Tauschpartner, den Sie über das Forum finden können.

Übungsblätter/Musterlösungen

Die Übungsblätter und Musterlösungen finden Sie jede Woche auf unserer Service-Seite.

FAQ und Kommentare

Wir haben eine Seite mit häufig gestellten Fragen bzw. Kommentaren und unseren Antworten darauf zusammengestellt.

Auf Ihrer persönlichen Statusseite gibt es die Möglichkeit, uns anonym Kommentare zu schicken und an einer Umfrage zur Vorlesung teilzunehmen.

Sprechzeiten

Prof. Gert Smolka: Vereinbarung per Email
Mark Kaminski: Montag, 16:00–17:00, oder nach Vereinbarung

Last Change: Thu Dec 14 17:01:13 2017