Programmierung

Vorlesung im WS 99/00

Inhalt

Die Vorlesung richtet sich an Informatikstudenten im ersten Semester. Sie behandelt Datenstrukturen, Algorithmen, Programmiertechniken und Konzepte von Programmiersprachen.  Als Programmiersprache benutzen wir Standard ML, das grundlegende Prinzipien der programmsprachlichen Theorie elegant in ein praktisches Werkzeug umsetzt.

Literatur

• Gert Smolka schreibt ein Skript zur Vorlesung.
• Die Vorlesung und das Skript gehen davon aus, dass Sie sich die Details der Programmiersprache Standard ML selbstständig aus einem geeigneten Lehrbuch aneignen. Dazu empfehlen wir

      Jeffrey Ullman: Elements of ML Programming (ML97 edition). Prentice-Hall 1998.

• Weitere Literatur.

Sprechzeiten

• Prof. Gert Smolka: Mi, Fr 11-12 Uhr
• Andreas Rossberg: Mi, Fr 11-12 Uhr