Allgemeines

Programmierung 1

Leute:	Bernd Finkbeiner, Markus Rabe
Ort:	HS 001 Gebäude E2 5
Zeit:	Dienstags 14:00 Uhr c.t. und Freitags 08:00 Uhr c.t.
Tutorien:	Donnerstags
Sprechstunden:	Bernd Finkbeiner: Mittwochs 15:00-16:00, E 1 3 / Raum 506, Markus Rabe: jederzeit, E 1 3 / Raum 508.
Office Hours der Tutoren:	Montags, Dienstags und Mittwochs von 13:00-14:00 Uhr in Seminarraum 14 in Gebäude E1 3
Forum:	zum Forum zur Vorlesung

Neuigkeiten

11. Oktober: Wegen der geringen Teilnahme an der Klausur, wird es keine offizielle Klausureinsicht geben. Meldet euch statt dessen bitte direkt bei Markus Rabe, um einen Termin zur Einsicht auszumachen.
11. Oktober: Die Nachklausur ist fertig korrigiert. Eure Punkte findet ihr im Vorlesungssystem und die Notentabelle findet ihr wieder im Forum.
7. Oktober: Die Nachklausur findet in Hörsaal 001 in Geb. E1.3 statt.
4. Oktober: Die Klausureinsicht wird im Raum 528 in Geb E1 3 stattfinden.
21. September: Die Klausureinsicht wird am 4. Oktober zwischen 13:30 Uhr und 15 Uhr stattfinden.
28. Juli: Die Klausur wird – wie letztes mal – im AudiMO im neuen Hörsaalgebäude stattfinden.
26. Juli: Die Einsicht zum letzten Test wird zusammen mit der Klausureinsicht der Hauptklausur stattfinden.
21. Juli: Am Freitag den 23. Juli wird keine Vorlesung stattfinden.
8. Juli: Es wird am Dienstag den 20. Juli wieder ein Repetitorium geben. Im Forum habt ihr jetzt schon die Möglichkeit Fragen zu stellen, auf die wir dann eingehen können.
8. Juni: Achtung: Die Klausureinsicht wird kurzfristig verschoben auf diesen Freitag (den 11.6.) von 12 bis 14 Uhr im Seminarraum 014 in Gebäude E1 3.
1. Juni: Die Klausureinsicht wird am Mittwoch den 9.6. um 16 Uhr stattfinden. Der Raum wird noch bekanntgegeben.
29. Mai: Die Punkte der Midterm Klausur sind im online. Ihr findet eure Punkte im Tutorienverwaltungssystem, und die Punktetabelle im Forum.
28. Mai: Beachten Sie, dass die Midterm Klausur nicht im großen Hörsaal der Mathematik stattfindet, sondern im AudiMO (neuer Hörsaal der Informatik) und in HS002 in Geb E1 3.
25. Mai: Lesen Sie sich die Klausurrichtlinien gründlich durch.
23. Mai:
1. Das Repetetorium wird am Dienstag den 25. Mai um 16 Uhr in Hörsaal I Geb E 1.3 stattfinden.
2. Die Punkte der Probeklausur sind eingetragen. Die Musterlösung findet ihr im Forum. Benutzername und Passwort wurden in der Vorlesung angekündigt (wie bei den Musterlösungen zu den Übungsblättern).
18. Mai: Am 21. Mai werden wir zusammen mit der Fachschaft eine Probeklausur anbieten. Sie wird um 16 Uhr in Hörsaal 2 des Informatikgebäudes (E1 3) stattfinden. Sie dürfen ein 2-seitig handbeschriebenes Blatt mit in die Klausur nehmen.
14. Mai: Beispiellösung für Aufgabe 5.15 korrigiert.
4. Mai: Beispiellösungen für die ersten 3 Blätter sind online.
27. April: Das Forum zur Vorlesung ist jetzt online!
26. April: Übungsgruppe 2 (Manuel) findet ab jetzt im Zeichensaal statt.
21. April – 3 Neugigkeiten:
1. CIP-Pool Accounts gibt es jetzt für alle, die noch keinen Account haben. Wir werden die Zugänge zu ihren Accounts in der Vorlesung verteilen.
2. Raumänderung für Gruppe 5: ab jetzt im Seminarraum 7 in der Mathematik (Geb. E2 4, Raum 203).
3. Studierende der Wirtschaftsinformatik müssen nicht sich über HISPOS, sondern über ihr Prüfungsamt zur Vorlesung anmelden. Dies ist voraussichtlich ab Mai möglich.
15. April: Ab jetzt gibt es jede Woche Montags, Dienstags und Mittwochs Office Hours von 13-14 Uhr in Seminarraum 14 in Gebäude E1 3.
14. April: Übungsgruppenzuteilung ist online. Ihre Gruppennummer finden Sie auf ihrer persönlichen Seite.
12. April: Das Tutorienverwaltungssystem ist online! Melden Sie sich bitte so früh wie möglich an. Beachten Sie, dass Sie sich auch im HISPOS anmelden müssen um einen Schein erhalten zu können. Probleme bitte umgehend bei Markus Rabe melden.
11. April:
1. Die erste Vorlesung wird am Dienstag den 13. April stattfinden.
2. Die Klausurtermine sind online.
7. April: Die Fachschaft bietet eine Orientierungseinheit (STEP) für Erstsemester an.
31. März: Die Vorlesungshomepage ist online!

Inhalte

Was ist Informatik? Was ist Programmieren? Dieser Kurs bietet eine Einführung in die grundlegenden Konzepte der Informatik und insbesondere der Programmiersprachen. Wir verwenden bewusst die funktionale Programmiersprache Standard ML, da sie die Konzepte der Informatik, insbesondere die Rekursion, einfach und klar umsetzen lässt. Der Fokus der Vorlesung liegt auf der Struktur von Programmiersprachen, welche durch Grammatiken, Inferenzregeln, und das Programmieren von Interpretern, Maschinen und Übersetzern vermittelt wird. Darauf aufbauend werden wir grundlegende Techniken wie Laufzeitbestimmungen und (Korrektheits-)Beweise über Programme behandeln.
Am Ende der Vorlesung werden Sie in der Lage sein eigene Programmiersprachen zu definieren und Interpreter dafür zu schreiben.

Vorlesungsmaterialien

Wir werden uns an das erprobte Buch Programmierung – eine Einführung in die Informatik mit Standard ML von Gert Smolka halten. Dieses Buch gibt es in größerer Stückzahl in der Fachbereichsbibliothek zum Ausleihen, wir empfehlen jedoch das Buch zu kaufen.

Vorkenntnisse

Wir setzen keinerlei Programmierkenntnisse voraus. Sie sollten aber Freude am mathematischen Denken mitbringen und offen für abstrakte Konzepte sein.

Was Sie tun können, bevor die Vorlesung anfängt:

Besorgen Sie sich das Buch zur Vorlesung.
Machen Sie sich mit dem Buch Discrete Mathematics and Its Applications von Kenneth H. Rosen vertraut (erschienen bei McGraw-Hill, Juli 2006).
Installieren Sie einen Standard ML Interpreter auf Ihrem Computer. Erproben Sie die Beispiele im ersten Kapitel des Buches.

Anmeldung

Melden Sie sich sowohl über HISPOS als auch über unser Tutorienverwaltungssystem an (Studierende der Wirtschaftsinformatik müssen nicht sich über HISPOS, sondern sich über ihr Prüfungsamt zur Vorlesung anmelden – voraussichtlich erst ab Mai möglich). Über das HISPOS werden am Ende des Kurses die Noten vergeben, und unser Tutorienverwaltungssystem ist für die Zuweisung der Übungsgruppen sowie die Punktevergabe der Minitests zuständig. Sie können Ihren Punktestand in den Minitests und den Klausuren jederzeit im Tutorienverwaltungssystem nachschauen.