Informatik I - WS03/04
Grundstudiumsvorlesung für Studenten der (Medien-,Bio-) Informatik, Mathematik, etc., V4Ü3
Vorlesung : Prof. Dr. Martin Hofmann
Übungen : Dr. Jan Johannsen
Dr. Martin Lange
Tutoren : Robert Reitmeier
Anne Schilling
Korrektoren : Leo Bär
Peter Hessheimer
Doris Kneip
Julia Kurt
Karin Leichtenstern
Vivian Prinz
Termine
Vorlesung Di, 11-13 ct 122, Theresienstr. Hofmann ab 21.10.
Vorlesung Do, 11-13 ct E51, Theresienstr. Hofmann
Übung Mo, 16-18 st 113, Theresienstr. Reitmeier ab 27.10.
Übung Di, 14-16 ct 112, Theresienstr. Johannsen/Lange
Übung Di, 14-16 ct 113, Theresienstr. Schilling
Übung Di, 16-18 ct 112, Theresienstr. Johannsen/Lange
Übung Mi, 14-16 ct 221, Hauptgebäude Reitmeier
Übung Mi, 14-16 ct 113, Theresienstr. Schilling
Diskussionsübung Fr, 16-17 st 1.27, Oettingenstr. Johannsen/Lange ab 24.10.
Sprechstunden: Prof. Martin Hofmann Mo 15 - 16
Dr. Jan Johannsen Mo 14 - 16
Dr. Martin Lange Mi 10 - 12
Aktuelles
- Die Ergebnisse der 2. Klausur stehen fest.
- Der Termin für die Klausureinsicht steht bereits fest: Donnerstag, 13.5.2004, 17-18 Uhr, Raum Z1.09 in der
Oettingenstr. 67 (am Ende des Ganges gegenüber vom 1.27).
- Diejenigen, die die Klausur im Februar bestanden haben und nicht im Diplomstudiengang Informatik
eingeschrieben sind, können sich ihren Schein ab sofort im Sekretariat (Frau Kommerowski, Zimmer Z1.05 in
der Oettingenstr. 67) abholen.
Diejenigen, die die Klausur im April bestanden haben und nicht im Diplomstudiengang Informatik
eingeschrieben sind, müssen sich mit der Scheinausgabe noch bis nach der Klausureinsicht gedulden.
Diejenigen, die in einem der Bio-Informatik-Studiengänge eingeschrieben sind, 50% der Übungspunkte
erreicht haben und keine der beiden Klausuren bestanden haben werden, werden nach der 2. Klausur eine
Bestätigung über die Zulassung zur Klausur erhalten.
Inhalt
- Was ist Informatik, Einführendes und Geschichtliches, der Algorithmusbegriff
- Grundkonzepte funktionaler Programmierung (Mengen, Funktionen,
Terme, Typen, Rekursion, Polymorphie)
- Programmierung mit OCAML
- Datenstrukturen: Listen, Tupel, Reihungen, Bäume
- Formale Syntax und Semantik von Programmiersprachen
- Methodische Programmentwicklung, Modularisierung
- Algorithmik, Effizienz und Komplexität
- Denotationelle Semantik, Fixpunkttheorie
- Imperative Programmierung und Hoare Kalkül
Folien zur Vorlesung
Vorlesungslogbuch
Was wurde wann gemacht?
Organisatorisches
- Übungsbetrieb: Es gibt fünf inhaltsgleiche 2-stündige Übungen am Montag, Dienstag und Mittwoch. In diesen wird
u.a. das am vorhergehende Donnerstag abgegebene Übungsblatt besprochen. Desweiteren dienen die Übungen dazu, den in
der Vorlesung vermittelten Stoff zu vertiefen, dazu auftretende Fragen zu klären und auf das nächste Übungsblatt
vorzubereiten.
Beachten Sie, dass die Übungsräume teilweise beschränkte Kapazität haben, jedoch insgesamt genügend Raum vorhanden
ist.
- Freitagsübung: Am Freitag findet dazu noch eine 1-stündige Übung statt. Diese ist als Diskussionsübung
konzipiert, in der solche Fragen beantwortet werden sollen, die trotz Vorlesung und regulärer Übung immer noch
unbeantwortet geblieben sind. Damit der Übungsleiter sich auf solche Fragen vorbereiten kann, wird darum gebeten,
diese vorher per Mail an die Adresse
info1@tcs.informatik.uni-muenchen.de zu schicken. Beachten
Sie, dass Antworten auf Ihre Fragen an diese Adresse ausschliesslich in der Diskussionsübung am Freitag gegeben werden.
Übungen
Jeweils in der Vorlesung am Donnerstag werden wöchentliche Übungsblätter ausgeteilt. Diese sind in Gruppen von bis zu
drei Studenten bis zum darauffolgenden Donnerstag zu bearbeiten. Auf den Übungsblättern gibt es zwei verschiedene Arten
von Aufgaben.
- Programmieraufgaben: Die Lösungen dazu sind in elektronischer Form über das
Abgabesystem einzureichen.
- Andere Aufgaben: Diese sind auf Papier zu lösen und bis zum übernächsten Montag, 11:00 Uhr über den
Briefkasten in der Theresienstr. abzugeben.
Zuerst müssen Sie sich jedoch beim Abgabesystem
hier anmelden.
Die abgegebenen Lösungen werden von den Korrektoren bewertet. Die korrigierten Programmieraufgaben werden Ihnen per Mail
zurückgeschickt. Bei den auf Papier abgegebenen Lösungen vermerken Sie bitte, in welche Übung Sie gehen, um sie dort
zurückzuerhalten. Ihr aktueller Punktestand lässt sich auch
abfragen.
- Übungsblatt 0 als Postscript und als PDF.
- Ausgabe: 23.10.
- Abgabe: keine
- Musterlösung als Postscript und als PDF.
- Übungsblatt 1 als Postscript und als PDF.
- Ausgabe: 23.10.
- Abgabe: 30.10.
- Musterlösung als Postscript und als PDF.
- Übungsblatt 2 als Postscript und als PDF.
- Ausgabe: 30.10.
- Abgabe: 6.11.
- Musterlösung als Postscript und als PDF.
- Übungsblatt 3 als Postscript und als PDF.
- Ausgabe: 6.11.
- Abgabe: 17.11.
- Musterlösung als Postscript und als PDF.
- Übungsblatt 4 als Postscript und als PDF.
- Übungsblatt 5 als Postscript und als PDF.
- Übungsblatt 6 als Postscript und als PDF.
- Ausgabe: 27.11.
- Abgabe: 8.12.
- Musterlösung als Postscript und als PDF.
- Übungsblatt 7 als Postscript und als PDF.
- Ausgabe: 4.12.
- Abgabe: 15.12.
- Das in den Übungen vorgestellte Beispiel zur operationalen Semantik.
- Musterlösung als Postscript und als PDF.
- Übungsblatt 8 als Postscript und als PDF.
- Ausgabe: 11.12.
- Abgabe: 22.12.
- Die
in der Vorlesung nicht erwähnten Typregeln, die in der
Aufgabe S-31 gebraucht werden, findet man hier.
Als Beispiel gibt es eine
Typherleitung für den Ausdruck aus Aufgabe S-29.
- Musterlösung als Postscript und als PDF.
- Übungsblatt 9 als Postscript und als PDF.
- Übungsblatt 10 als Postscript und als PDF.
- Übungsblatt 11 als Postscript und als PDF.
- Übungsblatt 12 als Postscript und als PDF.
- Ausgabe: 22.1.
- Abgabe: 2.2.
- Die auf dem Übungsblatt erwähnten Dateien:
- Das Projekt als ZIP-Archiv.
- Das Projekt als TAR-Archiv.
- Das Projekt als Verzeichnis zum Herunterladen einzelner Dateien.
(Die leere Datei .depend wird nicht angezeigt, sie muss von Hand angelegt werden.)
- Das Programm main als Ocaml-Bytecode. (Unter Linux ausführbar, unter
Windows nicht getestet.)
- Achtung! Das Archiv provided.cma wurde unter Ocaml 3.06 erstellt. Wer Ocaml 3.07 benutzt, der
kann sich hier ein anderes provided.cma herunterladen. Dies wurde
unter Windows erstellt, keine Garantie für die Lauffähigkeit unter Linux!
- Die einzelnen Anweisungen zum Erstellen des Projektes (unter Windows oder Linux) finden sich
hier. Hinweis zu Windows: Das Programm sollte auf .exe enden, und man
muss es nach dem Ausführen manuell mit dem Taskmanager beenden.
- Musterlösungen der Module Lex, Norm und
Visualise.
- Übungsblatt 13 als Postscript und als PDF.
- Ausgabe: 29.1.
- Abgabe: 5.2.
- Musterlösung als Postscript und als PDF.
- Übungsblatt 14 als Postscript und als PDF.
Einige, in den Übungen verwendete Programme:
Klausur
Am Ende des Semesters wird eine 2-std. Klausur geschrieben. Diese findet statt am Freitag, den 13.2.2004, von 16:00
bis 18:00 Uhr (Bearbeitungszeit) in den Hörsälen 122, 138, E51 und E52 in der Theresienstr. Einlass zu den Hörsälen
ist jeweils um 15:45 Uhr. Wir bitten um pünktliches Erscheinen.
Für Studenten des Diplom-Studiengangs Informatik handelt es sich dabei um eine Vordiplomsprüfung, für alle anderen
Teilnehmer der Veranstaltung um eine Scheinprüfung.
Entgegen vorheriger Ankündigungen handelt es sich doch um eine open-book-Klausur, d.h. nicht-elektronische
Hilfsmittel sind generell zugelassen. Mobiltelefone, Computer, PDAs, usw. sind nicht zugelassen. Bringen Sie
Schreibmaterial mit. Papier wird Ihnen gestellt. Vermeiden Sie es möglichst, Taschen, Jacken und Mobiltelefone mit in
die Hörsäle zu nehmen.
Bringen Sie auch Ihren Studenten- und einen Lichtbildausweis mit!
Beachten Sie jedoch, dass keine Hilfsmittel nötig sind, um die Klausur bearbeiten zu können.
Eine vorläufige Liste aller zur Klausur zugelassenen Teilnehmer finden Sie hier.
Die Aufteilung auf die einzelnen Hörsäle ist wie folgt:
| Hörsaal | Matrikelnummern |
|---|
| E51 | 010281… - 070884… |
| E52 | 080581… - 150685… |
| 138 | 150984… - 221082… |
| 122 | 221181… - 479069… |
Dabei handelt es sich in den Fällen, in denen im Laufe des Semesters die Matrikelnummer korrigiert wurde, um die
korrigierte Nummer.
Ergebnisse: Eine Liste mit Matrikelnummern und Punktezahlen
findet sich hier.
Bestanden hat auf jeden Fall, wer mindestens 36 Punkte erreicht hat.
Nicht in dieser Liste enthalten ist,
- wer die Veröffentlichung seines/ihres Ergebnisses explizit untersagt hat,
- wer seine/ihre Klausur nicht unterschrieben hat,
- wer bei der Klausur seinen/ihren Studentenausweis nicht vorlegen konnte.
Diejenigen, die unter Punkt 2 oder 3 fallen, können die Unterschrift bzw. Vorlage des Studentenausweises (zusammen mit
einem Lichtbildausweis) während der Klausureinsicht am
Mittwoch nachholen.
Klausureinsicht: Diese findet statt am Mittwoch, den 3.3.2004, von 17-19 Uhr im Raum 1.27 in der Oettingenstr. 67
(genau über dem Haupteingang).
Statistik über die Klausurergebnisse.
Wiederholungsklausur
Die Wiederholungsklausur wird am Fr., den 23. April 2004
zwischen 14 und 18 Uhr im Hauptgebäude
(Hörsäle 331 und 225) stattfinden.
Die genaue Aufteilung auf die beiden Hörsälen ist wie folgt:
- Hörsaal 225: Matrikelnummern 010384... - 161280...
- Hörsaal 331: Matrikelnummern 170382... - 310882...
Zugelassen zu dieser Klausur wird, wer entweder
- im Diplomstudiengang Informatik eingeschrieben ist, oder
- die erste Klausur am 13.2. mitgeschrieben, aber nicht bestanden hat.
Der Termin für die Klausureinsicht steht bereits fest: Donnerstag, 13.5.2004, 17-18 Uhr, Raum Z1.09 in der
Oettingenstr. 67 (am Ende des Ganges gegenüber vom 1.27).
Ergebnisse: Eine Liste mit Matrikelnummern und Punktezahlen findet sich hier.
Die Scheine, die aufgrund des Bestehens der 2. Klausur ausgeteilt werden, können erst nach der Klausureinsicht
am Donnerstag, 13.5., erstellt werden. Ab wann diese abgeholt werden können, wird dann hier bekanntgegeben.
Links
Literatur
Martin Lange
und Jan Johannsen
Last modified: Mon May 3 12:16:18 CEST 2004