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
- 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.