Grundvorlesung, 9 Leistungspunkte
Prof. Gert Smolka,
Christian Doczkal, M.Sc.
FR Informatik,
Universität des Saarlandes
Dienstag, 14.15-16.00 Uhr,
Gebäude E2 2
Donnerstag, 10.15-12.00 Uhr,
Gebäude E2 2
Erste Vorlesung am Dienstag, den 19. Oktober 2010
Letzte Vorlesung am Donnerstag, den 10. Februar 2011
Weihnachtspause 20. Dezember bis 2. Januar
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.
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.
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, 21. Oktober 2010 ü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.
Die Übungsblätter und Musterlösungen finden Sie jede Woche auf unserer Service-Seite.
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.
Siehe Termine
Last Change: Thu 01 Jan 1970 00:00:00 UTC