Vorlesung im Wintersemester 2003
Prof. Andreas Podelski,
Andrey Rybalchenko
Max-Planck-Institut für Informatik,
News!!! | Hauptseite | Termine | Literatur (PS) | Übungen | Klausuren | Nachklausur | Mailingliste | Software (PS) | Skript (PS)
Dienstag, 14.15-16.00 Uhr, HS I, Gebäude 27.2
Donnerstag, 10.15-12.00 Uhr, HS I, Gebäude 27.2
Erste Vorlesung am Dienstag, den 21. Oktober 2003
Letzte Vorlesung am Donnerstag, den 19. Februar 2003
Weihnachtspause 22. Dezember bis 2. Januar
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. Wir benutzen das Skript von Prof. Gert Smolka. (Mehr zum Inhalt (PS).)
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. (PS)