Grundvorlesung, 9 Leistungspunkte
Prof. Gert Smolka,
Sigurd Schneider, B.Sc.
FR Informatik,
Universität des Saarlandes
News
Aktuelle Ankündigungen finden Sie im Forum.
Termine
Dienstag, 14.15-16.00 Uhr,
Gebäude E2 2
Donnerstag, 10.15-12.00 Uhr,
Gebäude E2 2
Erste Vorlesung am Dienstag, 16. Oktober 2012
Letzte Vorlesung am Donnerstag, 07. Februar 2013
Weihnachtspause vom Samstag, 22. Dezember 2012 bis Freitag, 04. Januar 2013
Erste Übung am Dienstag, 23. Oktober 2012
Erste Office Hour am Mittwoch, 17. Oktober 2012
Inhalt
Die Vorlesung ist eine Einführung in die Informatik, die Programmierung als Synthese von Theorie und Praxis vermittelt. Programmierkenntnisse werden nicht vorausgesetzt. Wir verwenden die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden können. Leitthema der Vorlesung ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen und Übersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken für Korrektheitsbeweise und Laufzeitbestimmungen behandelt. Zu der Vorlesung gibt es ein Lehrbuch.
Vorkenntnisse
Wir setzen keinerlei Programmierkenntnisse voraus. Dafür sollten Sie aber Freude am mathematischen Denken haben und für neue, abstrakte Ideen offen sein. Außerdem sollten Sie Erfahrung im Umgang mit Computern und dem Internet haben (als Benutzer, nicht als Techniker).
Arbeitsaufwand
Für die Vorlesung erhalten Sie 9 benotete ECTS-Punkte. Ein ECTS-Punkt entspricht 30 Stunden Arbeitsaufwand, im Mittel arbeitet ein Student also 270 Stunden um die Vorlesung zu bestehen. Bei 15 Vorlesungswochen ergibt sich damit eine gemittelter wöchentlicher Arbeitsaufwand von 18 Zeitstunden. 4+2=6 davon sind fest für die Vorlesung und die Übung eingeplant. Die übrigen 12 Stunden sind für das Lesen des Buchs und das Lösen der Übungsblätter vorgesehen. Wenn Sie sich also weniger als 2 volle Tage wöchentlich mit dem Stoff dieser Vorlesung beschäftigen, arbeiten Sie zu wenig.Was Sie tun können, bevor die Vorlesung anfängt.
Anmeldung
Sie müssen sich bei uns und bei HISPOS (dem Prüfungssystem der Universität) anmelden. Die Anmeldung bei uns ist notwendig, um an den Übungsgruppen und den Klausuren teilzunehmen. Die Anmeldung bei HISPOS ist erforderlich, damit wir Ihnen am Ende die Leistungspunkte gutschreiben können. Die Anmeldung bei uns wird mit Beginn der ersten Vorlesungswoche möglich, und muss im Zeitraum vom Dienstag, 16. Oktober 2012, 16:00 Uhr bis Donnerstag, 18. Oktober 2012, 23:59 Uhr über dieses Web-Formular erfolgen.
Übungsblätter/Musterlösungen/Forum
Die Übungsblätter und Musterlösungen finden Sie jede Woche auf unserer Service-Seite. Nutzen Sie das Forum, um die Aufgaben zu diskutieren. Den Link finden Sie links im Menü, sobald sie eingeloggt sind.
FAQ und Kommentare
Wir haben eine Seite mit häufig gestellten Fragen bzw. Kommentaren und unseren Antworten darauf zusammengestellt.
Auf Ihrer persönlichen Statusseite gibt es die Möglichkeit, uns anonym Kommentare zu schicken und an einer Umfrage zur Vorlesung teilzunehmen.
Sprechzeiten
Siehe Termine.