Aktuelles

Zu Neuigkeiten, welche die Abgabe von Hausuafgaben oder den Übungsbetrieb betreffen, siehe ab sofort auch Eliza-News.

• 21.10.2011: Der Notenspiegel der Nachholklausur ist nun unter Eliza zu finden.
• 17.10.2011: Die Eliza-Homepage wurde erneuert, das alte Eliza zur Vorlesung ist nun unter http://eliza25.ifi.lmu.de erreichbar.
  
• 13.10.2011: Die Klausureinsicht zur Nachholklausur findet am Freitag 21.10.2011 12:30h-14:00h in Raum L109 an der Oettingenstr. 67 statt.
  
• 13.10.2011: Die Ergebnisse der Nachholklausur (inkl. Notenbonus) sind nun mit UniworX einsehbar.
  
• 07.10.2011: Raumeinteilung zur Nachholklausur ist nun bekannt, siehe Abschnitt Klausur
• 04.05.2011: Sagen Sie uns Ihre Meinung zu dieser Veranstaltung in unserer Online-Evaluation in Eliza!
• 04.05.2011: Der Notenspiegel der Klausur ist nun in Eliza einsehbar.
  
• 01.08.2011: Die Nachholklausur findet am 10.10.2011 von 16 bis 19 Uhr  statt -- die Klausuranmeldung ist bis zum 11. September per uniworx möglich. Eine Anmeldung ist zwingend zur Teilnahme erforderlich
• 01.08.2011: Die Klausureinsicht findet am Donnerstag, den 4.8.11 von 11 bis 12 Uhr im Raum L109 an der Oettingenstr. 67 statt.
• 26.07.2011: Das Klausurergebnis (inkl. Notenbonus) wurde unter UniWorX veröffentlicht.  Die Klausureinsicht wird vorsl. in der ersten Augustwoche sein. Genaueres später hier.

Siehe auch: Ältere und veraltete Nachrichten

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.

Organisation

• Umfang: 3+2 Semesterwochenstunden
• Vorlesung: Prof. Dr. Martin Hofmann, Dr. Andreas Abel
• Übungen: Dr. Steffen Jost, Markus Latte
• Tutoren: Christian Breil, Julius Burkart, Sebastian Franz, Simon Kaltenbacher, Florian Liebhart, Stephan Link, Benjamin Sauer, Oliver Schnuck

Zeit und Ort

Planung

Da die Vorlesung trotz der gebuchten 4 Semesterwochenstunden nur den Umfang 3+2 hat, entfallen einige Vorlesungstermine (die Übungen finden dagegen durchgehend statt). Die Vorlesung ist wie folgt vorgesehen:

(zuletzt geändert am 9.5.2011)

Materialien

• Vorlesungsfolien können Sie im vorherigen Abschnitt Planung herunterladen.
• Übungsblatt 1
  Abgabe H1-2 bis Fr 13.05.2011 per Eliza
  
  
• Weitere Übungsblätter und Musterlösungen werden mit Eliza verwaltet:
• Übungsblätter
• Musterlösungen

Klausuren

• Termin Nachklausur: Mo, 10.10.2011, 16:00h-19:00h. Definitiv kein Einlaß nach 16:30h!
• Anmeldung: Eine Anmeldung per UniworX bis zum 11.09.2011 10:00h ist zwingend erforderlich.
• Ort: Hauptgebäude
  Die Nachklausur wird im Hauptgebäude geschrieben. Je nach dem Anfangsbuchstaben des Nachnamens, sind folgende Räume zugewiesen:
  

  Nachname	Raum
  A-E	M118
  F-K	A140
  L-R	A240
  S-Z	N120 (Großer Physik Hörsaal)

  Die Klausur beginnt in allen 4 Räumen gleichzeitig, aber erst wenn jeder Student seinen zugewiesenen Platz gefunden hat und Ruhe eingekehrt ist!

• Hinweise zum Klausurablauf:
  
  • Jeder Student muss einen gültigen Lichtbildausweis und seinen Studentenausweis mitbringen.
  • Es sind keine Hilfsmittel zugelassen.  Am Platz darf sich nur Schreibzeug und eventuell ein paar Nahrungsmittel befinden. Papier wird von uns gestellt und darf nicht mitgebracht werden. Taschen und Jacken müssen vorne an der Tafel abgelegt werden. Sollte jemand ein Telefon, mp3-Player, oder Ähnliches am Platz haben, ist das ein Täuschungsversuch, der dem Prüfungsausschuss gemeldet wird. Sollte ein Telefon klingeln, ist das eine Störung des Prüfungsablaufs und hat den Ausschluss von der weiteren Teilnahme zur Folge.
• Klausurbonus:
  Auch die Klausurnote der Nachholklausur kann durch einen Bonus verbessert werden. Alle Hausaufgaben sind mit einer Punktzahl gekennzeichnet. Wenn Sie durch Abgabe von richtigen Hausaufgaben 50% der Gesamtpunktzahl erreichen, erhalten Sie einen Notenbonus von 0,3; ab 75% einen Bonus von 0,7. Natürlich kommt der Bonus nur zur Geltung, wenn Sie ohne den Bonus mindestens die Note 4.0 erreichen.
  Aufgaben, welche mit mehr als 0 Punkten gekennzeichnet sind, müssen deshalb allein bearbeitet werden. Bei Zuwiderhandlung in bereits einem Falle kann Ihnen der gesamte Klausurbonus gestrichen werden, in schweren Fällen kann es auch zum Nichtbestehen des gesamten Moduls kommen. Weitere Details finden Sie hier.
  Der Klausurbonus gilt nur für die Erstklausur und/oder die Wiederholungsklausur im Oktober. Der Bonus verfällt für alle weiteren Wiederholungen, unabhängig von der Teilnahme an diesen beiden Klausuren.
• Die Erstklausur fand am Sa, 16.07.2011, 14:00h-17:00h statt.

Weiterführende Informationen

• Standard ML of New Jersey
• T. Nipkow und L. Paulson, Syntax of Standard ML
• SML Basis Library
• SML SML-Funktionsübersicht SML zum Mitnehmen
• Begleitliteratur
• Prof. Bry's Skriptum
• Robert Harper, "Programming in Standard ML"
  http://www.cs.cmu.edu/~rwh/introsml/
• L. Paulson, "Standard ML for the working programmer"
  Cambridge University Press
• Gumm-Sommer: "Einführung in die Informatik"
  Oldenbourg Verlag
• Gert Smolka, “Programmierung - eine Einführung in die Informatik mit Standard ML”
  Oldenbourg Verlag, 2008
  http://www.ps.uni-saarland.de/prog-buch/