Allgemeines Übungsgruppen Prüfungen Folien Aufgabenblätter Software

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

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:

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.