Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Programmierung und Modellierung

Aktuelles

21.8.2009:Die Anmeldung zur Nachholklausur ist jetzt per UniWorx möglich. Zur Anmeldung müssen Sie sich zur Vorlesung "Promo Nachholklausur" anmelden.
17.8.2009: Die Klausureinsicht der ersten Klausur findet am 17.9.2009 von 14:00-16:00 im Raum E0.3 in der Oettingenstr. 67 statt.
27.7.2009: Die Nachholklausur findet am 9.10.2009 ab 10 Uhr s.t. im Raum B 101 im Hauptgebäude statt. Zum Mitschreiben ist eine Anmeldung über UniWorx nötig, diese wird demnächst freigeschaltet. Bitte beachten Sie die Hinweise zur ersten Klausur.
24.7.2009: Die Folien der Praktikumsvorstellung aus der letzten Vorlesung sind online. Die Anmeldung zu den Praktika ist unter diesem Link möglich.
20.7.2009: Die Klausur findet am Freitag, 24.7., ab 12 Uhr s.t. im Hauptgebäude statt. Die Raumzuteilung ist wie folgt:
  • Nachnamen A-M: Audimax
  • Nachnamen N-Z: B 101
Bitte beachten Sie:
  • Bringen Sie einen amtlichen Lichtbildausweis sowie den Studienausweis für dieses Semester mit.
  • Hilfsmittel (mit Ausnahme eines Fremdwörterdudens sowie eines allgemeinen Wörterbuches) sind nicht zugelassen.
  • Die Bearbeitungszeit beträgt 120 Minuten.
  • Bringen Sie Schreibzeug mit, das permanent und in schwarzer oder blauer Farbe schreibt (Kugelschreiber oder Füller, keine Bleistifte)
  • Sämtliches Schreibpapier wird von uns gestellt.

20.7.2009: Voraussichtlicher Termin für die Wintersemesterklausur (aka Nachholklausur) ist der 9.10.2009.
17.7.2009: In der nächsten Vorlesung (am 22. Juli) werden die beiden Grundstudiumspraktika (Softwareentwicklungspraktikum und Systempraktikum) des Wintersemesters kurz vorgestellt und wichtige Informationen zu Praktikumswahl und Anmeldung gegeben.
1.7.2009: Bitte beachten Sie die Anmeldung zur Klausur bis zum 15.7.2009!
16.04.09: Achtung! Die Vorlesung beginnt in der ZWEITEN Vorlesungswoche am 29. April 2009! Die Übungen beginnen in der dritten Woche (ab 4.Mai 2009).

Informationen

Inhalt

Die Vorlesung führt in grundlegende Prinzipien der Programmierung und der Datenmodellierung mit einer funktionalen Programmiersprache ein. Die wesentlichen Themen sind: Datentypen, Funktionen und Rekursion, Auswertung und Terminierung von Programmen, Halteproblem, Semantik von Programmiersprachen. Dabei wird auf begriffliche Klarheit und präzise mathematische Fundierung mit formalen Methoden Wert gelegt.

Die Programmierbeispiele werden in der Programmiersprache Standard ML (kurz SML) formuliert. Für die Programmierung steht die aktuelle Version von "Standard ML of New Jersey" (kurz SML/NJ) zur Verfügung.

Hörerkreis

Studenten des Bachelorstudiengangs Informatik.

Benötigte Vorkenntnisse

Forum

Siehe die-informatiker.net.