Inhalt

Die Vorlesung gibt eine Einf¨uhrung in die Konzepte der Programmierung mit Schwerpunkt auf der funktionalen Programmierung. Vermittelt werden begriffliche Grundlagen, Konzepte, Methoden und Techniken zur Darstellung und Strukturierung von Daten und zur Entwicklung von Algorithmen. 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 neueste Version von Standard ML of New Jersey (kurz SML/NJ) zur Verfügung.

Die Vorlesung behandelt im wesentlichen den gleichen Stoff wie die Vorlesungen "Informatik I" in den vergangenen Wintersemestern, um in Hinblick auf Prüfungen eine Vergleichbarkeit zu erreichen.