Uni des Saarlandes
FR Informatik
Programmiersysteme
Vorlesungen
Programmierung WS02
Hauptseite
Termine
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript
Vorlesung im Wintersemester 2002
Prof. Gert Smolka,
Thorsten Brunklaus
Fachrichtung Informatik,
Universität des Saarlandes
Dienstag, 14.15-16.00 Uhr, HS I, Gebäude 27.2
Donnerstag, 10.15-12.00 Uhr, HS I, Gebäude 27.2
(Bei Bedarf Liveübertragung in HS 002, Gebäude 45)
Die Vorlesung richtet sich an Informatikstudenten im ersten Semester und führt grundlegende Konzepte der Programmierung ein. Wir verwenden die funktionale Programmiersprache Standard ML und schreiben ab der ersten Woche Programme, die wir zunächst mit einem Interpreter ausführen. Dabei lernen wir Datenstrukturen, Algorithmen und Typabstraktionen kennen und behandeln die Themen Korrektheit und Laufzeit. Außerdem lernen wir, wie man die Syntax und Semantik von Programmiersprachen mathematisch beschreibt und sie mit Interpretern, Übersetzern und virtuellen Maschinen implementiert. (Mehr zum Inhalt.)
Wir setzen keine Programmierkenntnisse voraus. Sie sollten aber Erfahrung im Umgang mit Computern, dem Internet und Email haben. Sie sparen viel Zeit, wenn Sie zuhause einen Computer mit Internetzugang haben.
Was Sie tun können, bevor die Vorlesung anfängt.