Informatik 1 (Programmierung) WS 98/99
Mi und Fr, 9h-11h (Beginn 21. Oktober)
Geb. 45, HS 002
Tip: Falls Ihr WWW-Browser Fehlermeldungen produziert, wenn Sie versuchen, auf eine Unterseite zuzugreifen, dann sollten Sie darauf achten, dass Sie die Adresse dieser Hauptseite komplett mit abschliessendem Slash / eingegeben haben.
Inhalt
Die Vorlesung gibt eine Einführung in die Benutzung und Konzeption von Programmiersprachen. Wir arbeiten dabei mit der funktionalen Sprache Standard ML (SML). Wir lernen grundlegende Datenstrukturen und Algorithmen kennen, üben ihre Umsetzung in ausführbare Programme und argumentieren über ihre Effizienz und Korrektheit. Weiter üben wir den Entwurf modularer Programme und das Finden von Programmierabstraktionen. Schließlich beschäftigen wir uns mit der Definition und der Implementierung von Programmiersprachen.
Literatur
Leider gibt es kein Lehrbuch, das genau auf die Vorlesung paßt. Für den SML-Teil der Vorlesung benötigen Sie:
- Larry Paulson: ML for the Working Programmer (2nd edition), Cambridge University Press 1996.
Methodisch wird sich die Vorlesung oft an dem Klassiker
- Harold Abelson, Gerald Sussman, Julie Sussman: Structure and Interpretation of Computer Programs (2nd edition), The MIT Press 1996.
orientieren, der leider die mittlerweile etwas veraltete Sprache Scheme benutzt. Für die eher theoretischen Teile der Vorlesung empfehlen wir:
- Manfred Broy: Informatik. Eine grundlegende Einführung. Teil 1: Programmierung und Rechnerstrukturen, Springer 1996.
- Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Grundlagen der Programmiersprachen, Teubner 1986.
Daneben gibt es noch jede Menge nützliche andere Literatur. Wir haben eine kommentierte Liste zusammengestellt.
Übungen
- Aufgabenblätter und Lösungsvorschläge
- Einteilung der Übungsgruppen
- Übersicht über die erreichten Punktzahlen
- Tips zu den Rechnern in den CIP-Räumen
- Tips zum Umgang mit Moscow ML
Zur Vorlesung haben wir eine Mailingliste eingerichtet, auf der wir eventuelle Ankündigungen aus aktuellem Anlass verschicken, und auf die auch von jedem Kritik, Kommentare, Anregungen, etc. gesendet werden können. Das Anmelden auf der Liste ist ganz einfach: es genügt eine Mail an majordomo@ps.uni-saarland.de mit der folgenden Zeile als Mail-Body:
subscribe info1
Weitere Information kommt dann vollautomatisch zurück.
Sprechzeiten
- Prof. Gert Smolka: Mi, Fr 11.15h-12.30h
- Andreas Rossberg: Mi ca. 14h-16h
Gert Smolka, Andreas Rossberg