Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
https://www.pst.ifi.lmu.de/Lehre/WS0506/infoI/

Vorlesung: Informatik I (WS05/06)

Prof. Dr. Fred Kröger

Inhaltsverzeichnis


Aktuelles

25.04.06 Ergebnisse der Sommersemesterklausuren Informatik I
Die Ergebnisse der Sommersemesterklausuren Informatik I sind jeweils hier zu finden: Klausureinsicht findet am Do, 04. Mai 2006 um 14:00 Uhr im Raum E0.3 (Oettingenstraße) statt.
11.04.06 Versand der Scheine
Aus technischen Gründen verzögert sich der Versand der Scheine noch etwa zwei Wochen. Diejenigen, die den Schein dringend benötigen können sich an Matthias Hölzl wegen eines Abholtermins wenden.
10.03.06 Abholung der Scheine
Studierende, die den Informatik I Schein dringend benötigen, können ihn am 10.03.06 von 14-16 Uhr in Zimmer E0.10 abholen.
06.03.06 Prüfungsklausur Sommersemester 2006
Die Prüfungsklausur im Sommersemeste 2006 für Studierende des Diplomstudiengangs Informatik (ohne Zulassungsvoraussetzung) sowie der Bioinformatik (mit Zulassungsnachweis aus dieser oder einer fr�heren Vorlesung Informatik I) findet am 20.04.2006 von 14:00 bis 16:30 Uhr statt:
Raum Gebäude Studiengang Nachname beginnt mit ...
M 218 Hauptgebäude Diplom Informatik und Bioinformatik alle
Eine Anmeldung zur Prüfungsklausur ist nicht erforderlich.
01.03.06 Klausureinsicht
An folgenden Terminen kann Einsicht in die Klausur genommen werden:
  • 3.3. 16:30 Uhr bis 18:30 Uhr
  • 9.3. 14:00 Uhr bis 16:00 Uhr
  • 10.4. 14:00 Uhr bis 16:00 Uhr
Die Einsichtnahme ist jeweils im Raum E0.3 (Oettingenstraße).
01.03.06 Ergebnisse Bioinformatik
Die Ergebnisse der Scheinklausur für Studierende der Bioinformatik sind hier einsehbar.
23.02.06 Klausurergebnisse
Die Ergebnisse der Prüfungsklausur Informatik I sind hier einsehbar. Die Ergebnisse der Scheinklausur (ohne Bioinformatik) sind hier einsehbar. Die Ergebnisse für Studierende der Bioinformatik werden voraussichtlich am Mittwoch, 1.3., veröffentlicht.
07.02.06 Erinnerung
Bitte bringen Sie Ihren Lichtbildausweis und Studentenausweis zur Klausur mit
07.02.06 Durchf�hrung der Klausur
Zulassung zur Klausur: Studierende, die in den Übungen mindestens 55 Punkte erzielt haben, haben damit die Klausur-Zulassung erworben.

Teilnahme an der Klausur: An der Klausur dürfen teilnehmen (nach Anmeldung am Abgabesystem, siehe Aktuelles 31.1.):

  1. Studierende im Diplom-Studiengang Informatik.
  2. Studierende mit Klausur-Zulassung gemäß obiger Festlegung.
  3. Studierende der Bioinformatik, die eine Klausur-Zulassung aus einer Lehrveranstaltung "Informatik I" in einem früheren Semester vorweisen. (Es genügt, eine entsprechende Bestätigung während der Klausur vorzulegen.)
  4. Ausnahmsweise auch alle sonstigen Studierenden mit folgender Maßgabe: Um die fehlende Klausur-Zulassung auszugleichen, wird von der in der Klausur erreichten Punktzahl ein "Malus" abgezogen. Dieser Malus hängt von der Anzahl der zur Zulassung fehlenden Übungspunkte ab.

Die Klausur findet in folgenden Hörsälen statt:

Raum Gebäude Studiengang Nachname beginnt mit ...
122 Theresienstraße 37/39 Informatik Diplom A-Z
138 Theresienstraße 37/39 Bioinformatik A-Z
E52 Theresienstraße 37/39 alle anderen M-Z
E02 Schellingstra�e 3 alle anderen A-F
E03 Schellingstra�e 3 alle anderen G-L
31.1. Anmeldung zur Klausur
Alle Studierenden die an der Klausur teilnehmen möchten, müssen sich zur Klausur anmelden. Die Anmeldung besteht in der Registrierung zum Übungsabgabesystem auf http://badile.pst.ifi.lmu.de/info1/index.php. D.h. alle die sich bereits am System angemeldet haben, können dann auch - vorbehaltlich anderer Zulassungsvoraussetzungen - an der Klausur teilnehmen. Diejenigen, die an der Klausur teilnehmen möchten, aber noch nicht am Abgabesystem registriert sind, müssen dies nachholen.
9.1. Klausur
Die Klausur findet als open book Klausur statt: Erlaubte Hilfsmittel sind Bücher, Skripten, Computerausdrucke, Kopien und handschriftliche Aufzeichnungen in eigener Handschrift. Elektronische Geräte, wie z.B. Laptops, PDAs, Walkmen und Handys dürfen während der Klausur nicht verwendet werden.


Inhalt

Die Vorlesung gibt eine Einführung in die Konzepte der Programmierung mit Schwerpunkt auf der funktionalen Programmierung. Vermittelt werden begriffliche Grundlagen, Konzepte, Methoden und Techniken zur Darstellung und Strukturierung von Daten und zur Entwicklung von Algorithmen. Dabei wird auf begriffliche Klarheit und präzise mathematische Fundierung mit formalen Methoden Wert gelegt.
Die Programmierbeispiele werden in der Programmiersprache Standard ML (kurz SML) formuliert. Für die Programmierung steht die neueste Version von Standard ML of New Jersey (kurz SML/NJ) zur Verfügung.
Die Vorlesung behandelt im wesentlichen den gleichen Stoff wie die Vorlesungen "Informatik I" in den vergangenen Wintersemestern, um in Hinblick auf Prüfungen eine Vergleichbarkeit zu erreichen.

Material

Vollständiges Kurzskriptum: pdf |  ps


Übungsblätter

Die Lösungen zu den Übungsblättern müssen über das Abgabesystem online abgeben werden: http://badile.pst.ifi.lmu.de/info1/index.php


Zentralübung


Personen

Vorlesung
Prof. Dr. Fred Kröger ( kroeger, 0.54, Oettingenstr. 67; 2180 9150)
Übungen
Dr. Matthias Hölzl ( hoelzl, E0.10, Oettingenstr. 67; 2180 9183)
Florian Hacklinger ( hackling, E0.8, Oettingenstr. 67; 2180 9181)


Termine

Vorlesung
4-stündig
Di 11:20 - 12:50 Uhr, Ort: HGB A240, Geschwister-Scholl-Platz 1
Do 13:20 - 14:50 Uhr, Ort: HGB M218, Geschwister-Scholl-Platz 1
Beginn: 1. Woche
Übung
Die Übung wird in Gruppen abgehalten. Termine für die Übungsgruppen sind:

Gruppe Zeit Ort Tutor
1 Mo, 8:30-10:00 F007, Hgb. Bianca Höllerer
2 Mo, 8-10 1.13, Oe. Peter Wackersreuther
3 Mi, 13-15 A214, Hgb. Uwe Spettnagel
4 Fr, 8-10 1.35, Oe. Peter Wackersreuther
5 Fr, 8:30-10:00 1.31, Oe. Bianca Höllerer
6 Fr, 16-18 0.33, Oe. Roman Flammer Achtung: zusammengelegt mit Gruppe 7
7 Fr, 16-18 1.05, Oe. (Ausnahme am 27.1.06: Raum 17) Sebastian Kraiker
8 Mi, 18:15 - 19:45 E 04, Th. Manuel Mesters
(Hgb. = Hauptgebäude, Oe. = Oettingenstra�e, Th. = Theresienstra�e 39)

Sprechstunde der Tutoren nach Vereinbarung.

Es bietet sich an, das aktuelle Übungsblatt mit in die Übungsgruppe zu nehmen. Die Tutoren verteilen keine Exemplare! Ebenso kann es sinnvoll sein, das Vorlesungsskript zur Hand zu haben.

Zweiwöchig Mi, 10-12, findet im Raum M018, Hgb. eine Zentralübung statt. In der Zentralübung werden nicht dieselben Aufgaben wie in den Übungsgruppen behandelt!

Klausurtermin
Mittwoch, 08.02.06, 18:00 Uhr - 20:30 Uhr.

Klausuren

  1. Studierende im Studiengang Informatik (Diplom) müssen im Rahmen ihrer Diplom-Vorprüfung eine schriftliche Teilprüfung in Informatik I ablegen. Diese Prüfung wird in jedem Semester als Klausur angeboten. Im laufenden Semester findet die Klausur am Ende der Vorlesungszeit über den Stoff dieser Lehrveranstaltung (Informatik I) statt. Die Teilnahme an der Klausur ist ohne irgendwelche Vorbedingung möglich.
  2. Studierende aller anderen Studieng�nge können einen Leistungsnachweis ("Schein") in Informatik I erwerben. Hierfür wird ebenfalls eine Klausur am Ende der Vorlesungszeit angeboten, die zu bestehen ist. Zur Teilnahme an dieser Klausur ist nur zugelassen, wer 50% der bei den Hausaufgaben erreichbaren Maximalpunktzahl erreicht. Die Abgabe von Hausaufgaben ist demnach für den Erwerb eines Leistungsnachweises erforderlich. Zu dieser Klausur gibt es keine "Nachholklausur".
  3. Abweichend von 2. dürfen an der genannten Klausur Studierende der Bioinformatik auch ohne Erfüllung der genannten Zulassungsvoraussetzung teilnehmen, wenn sie eine Best�tigung darüber vorweisen, dass sie bereits zu einer Klausur zu Informatik I in einem früheren Semester zugelassen waren.
  4. Nachtrag: Oben genannte Klausuren finden zeitgleich am 08.02.06 statt.
  5. Nachtrag: Gemäß Punkt 1 wird auch eine Klausur als Teilprüfung in Informatik I im Sommersemester 2006 abgehalten. Diese Klausur findet voraussichtlich kurz vor Vorlesungsbeginn im April 2006 statt. Teilnahmeberechtigt sind ausschlie�lich Studierende des Diplomstudiengangs Informatik (ohne Zulassungsvoraussetzung) sowie der Bioinformatik (mit Zulassungsnachweis aus dieser oder einer fr�heren Vorlesung Informatik I).

Forum

Unter http://www.die-informatiker.net ist eine Diskussionsplattform rund um das Informatikstudium an der LMU zu finden. Unter anderem befindet sich dort auch ein Forum zur Vorlesung "Informatik I". die-informatiker wird von Studenten organisiert, ist also kein offizielles Forum der LMU oder des IfI.
Die Übungsleiter der Vorlesung werden versuchen regelmäßig im Forum mitzulesen, um Fragen möglichst zügig zu beantworten.

Knoppix-CD

Die Kollegen vom PMS-Lehrstuhl haben letztes Jahr für die Informatik I eine Knoppix-CD angelegt. Diese Knoppix-CD ist so ausgestattet, dass ein Emacs mit SML-Unterst�tzung integriert ist. Das CD-Image kann unter folgendem Link geladen werden: http://badile.pst.ifi.lmu.de/info1/knoppix.iso.
Die Dokumentation zur CD befindet sich hier. Das Image hat eine Größe von 680MB.
Achtung: Wenn Fragen zur CD auftauchen sollten, sollten diese an Matthias Hölzl oder Florian Hacklinger gestellt werden.
Wichtig: Dateien, die im Home-Verzeichnis der CD gespeichert werden, gehen bei einem Neustart verloren (siehe Doku). Entweder man speichert die Daten explizit auf die Festplatte (sofern möglich) oder einen USB-Stick, oder aber man legt ein "permanentes Knoppix-Homeverzeichnis" an. Wie das funktioniert steht in der Dokumentation.
Lehrveranstaltungen Lehrstuhl Institut Universität
Florian Hacklinger (24.10.05)