Einführung in die Informatik II
Priv.-Doz. Dr. Lothar Schmitz
Wintertrimester 2006
[Termine] [Klausur] [Fragen] [Vorlesungsfolien] [Übungsblätter] [Literatur] [Software]
Termine
Es handelt sich um eine Vorlesung mit vier Vorlesungsstunden und drei Übungsstunden wöchentlich (4 V + 3 SÜ TWS).
Die Vorlesungen finden jeweils statt
- dienstags 08:30 Uhr bis 10:00 Uhr im Raum 33/0301 und
- freitags 10:30 Uhr bis 12:00 Uhr im Raum 33/0301.
Die Gruppeneinteilung bleibt unverändert im Vergleich zum HT05. Die Übungen finden jeweils donnerstags und freitags statt. Die genauen Anfangs- und Endzeiten ergeben sich aus direkten Absprachen mit den Übungsleitern. In der ersten Übungswoche (KW 2) beginnen die Übungen s.t.
- Gruppe 1 (WINF): Freitag 07:45 Uhr bis 10:00 Uhr, Raum 33 / 1414
Übungsleiter Daniel Volk, - Gruppe 2 (INF/WINF): Donnerstag 13:00 Uhr bis 16:00 Uhr, Raum 33 / 2420
Übungsleiter Florian Brieler, - Gruppe 3 (INF): Donnerstag 13:00 Uhr bis 16:00 Uhr, Raum 33 / 0301
Übungsleiter Daniel Volk, - Gruppe 4 (INF): Freitag 07:45 Uhr bis 10:00 Uhr, Raum 33 / 2420
Übungsleiter Florian Brieler.
Die identische Gruppeneinteilung wird auch für die Übungen in Theo. Inf. verwendet, da es hier donnerstags zu einer Überschneidung im Stundenplan kommt.
Klausur
Die Klausur findet statt
am Montag, 03.04.2006, von 14:00 bis 16:00 Uhr im Raum 35/1210B
Zur Klausur sind keine Hilfsmittel außer Schreibgeräten zugelassen. Erlaubt sind lediglich Kugelschreiber oder Füllfederhalter in blauer oder schwarzer Farbe, insbesondere kein Rotstift und kein Bleistift. Bringen Sie einen Lichtbildausweis zur Klausur mit.
Aufgrund der großen Anzahl an Studenten wird um zeitiges (-10 Min) Erscheinen gebeten.
Mit einem Schein kann rechnen, wer:
- sowohl 40 Prozent der Gesamtpunktzahl erreicht
- als auch 20 Prozent der erreichbaren Punkte jeder Aufgabe erreicht.
Fragen
Wir möchten Sie an dieser Stelle explizit dazu auffordern, sich aktiv Ihrem Studium zu widmen und nachzufragen falls Sie etwas nicht verstanden haben. Prinzipiell gibt es keine "dummen Fragen". Es kommt jedoch darauf an, wie Sie Ihre Fragen formulieren und ob Sie sich schon einmal eigene Gedanken zu Ihrer Frage gemacht haben.
Sicher werden Sie auch auf andere "Ressourcen" als auf Übungsleiter oder Dozenten zurückgreifen. Eine schöne Einführung über das Stellen von Fragen finden Sie unter folgendem Link:
Materialien zur Vorlesung
Die Folien werden auf dieser Seite jeweils vor der entsprechenden Vorlesung veröffentlicht.
- Kapitel 1
[Folien] [Handzettel]
Quelltexte
[abzaehlen.adb] [kPerm.adb] - Kapitel 2
[Folien] [Handzettel] [Fallstudie Damen] [Fallstudie Warshall]
Quelltexte
[heapsort.adb] [indexSimpleAndKMPandBM.adb] [Merge.adb] [quicksort.adb] [Warshall.adb] [Programme] - Exkurs Ausnahmebehandlung
[Folien] [Handzettel] - Kapitel 3
[Folien] [Handzettel]
Lambda-Interpreter
[Lambda-Interpreter.pdf] [lambda.adb] - Kapitel 4
[Folien] [Handzettel] - Kapitel 5
[Folien] [Handzettel] (zuletzt geändert am 23.02.06) - Kapitel 6
[Folien] [Handzettel]
Quelltexte
[Menge.hs] [MengeOrd.hs] - Kapitel 7
[Folien] [Handzettel] - Kapitel 8
[Folien] [Handzettel] (zuletzt geändert am 17.03.06) [OptimaleSuchbaeume.pdf]
Quelltexte
[OptimalSearchTree.adb] - Kapitel 9
[Folien] [Handzettel] - Kapitel 10
[Folien] [Handzettel]
Übungsblätter
Die Übungsblätter stehen ab Freitag vor der Übung auf dieser Webseite zur Verfügung. Es wird erwartet, dass Sie das Übungsblatt ausgedruckt mitbringen und den Stoff der Vorlesung soweit vorbereitet und verinnerlicht haben, dass Sie die Aufgaben selbständig lösen können. Natürlich können Fragen und Unklarheiten geklärt werden. Lösungen für die als Hausaufgaben gekennzeichneten Aufgaben werden in der Übung von Ihnen vorgestellt.
Es empfiehlt sich auch, die Folien der Vorlesung sowie eigene Aufzeichnungen mit in die Übung zu nehmen.
Fragen zum Übungsbetrieb richten Sie bitte an Florian Brieler.
- Blatt 1 (Ada-Grundlagen)
[Übungsblatt] [Lösung]
Quelltexte
[meineea.adb] [meineea.ads] [testlinearealgebra.adb] - Blatt 2 (schrittweise Verfeinerung)
[Übungsblatt] [Lösung] - Blatt 3 (Backtracking)
[Übungsblatt] [Lösung]
Quelltexte
[xxfrei.hs] - Blatt 4 (Divide & Conquer, Komplexität)
[Übungsblatt] [Lösung]
Quelltexte
[QuickSuche.hs] - Blatt 5 (Listenverarbeitung)
[Übungsblatt] [Lösung] - Blatt 6 (Bäume & Geflechte)
[Übungsblatt] [Lösung] - Blatt 7 (lambda-Kalkül / lambda-Interpreter)
[Übungsblatt] (zuletzt geändert am 24.02.06) [Lösung]
Quelltexte
[lambda.hs] - Blatt 8 (Generische Pakete)
[Übungsblatt] (zuletzt geändert am 03.03.06) [Lösung] - Blatt 9 (Theorie)
[Übungsblatt] [Lösung] - Blatt 10 (Klausurvorbereitung I)
[Übungsblatt] [Lösung] - Blatt 11 ((Effiziente Baumstrukturen)
[Übungsblatt] [Lösung] - Blatt 12 (Klausurvorbereitung II)
[Übungsblatt] [Lösung]
Literatur & Links
- Allgemeines Peter Rechenberg (Hrsg.), Gustav Pomberger (Hrsg.), Informatik-Handbuch, Carl Hanser Verlag, 2002, 1192 S., ISBN 3-446-21842-4
- Haskell
- [Helium Prelude Tour]
- Manuel M. T. Chakravarty, Gabriele C. Keller, An Introduction to Computing with Haskell, Pearson SprintPrint, 2002, 145 p. (auf Deutsch erhältlich in der Lehrbuchsammlung)
- Simon Thompson, Haskell - the craft of functional programming, Addison-Wesley, 1999, 487 p. (erhältlich in der Lehrbuchsammlung)
- Lambda-Kalkül
[Tutorial] [Folien] - Programm-Verifikation: Robert L. Baber, Error-Free Software - Know-How and Know-why of Program Correctness, John Wiley & Sons [download]
- Ada
- N. Cohen, Ada as a second Language, second edition, Addison Wesley 1996
- M. Ben-Ari, Ada for Software Engineers, Wiley 1998
- K. P. Kratzer, Ada - Eine Einführung für Programmierer, Hanser Verlag
- Ada-Online-Tutorial
- Online-Ada-Bücher
- Ada-Syntax online
Software
- Haskell
- Haskell 98 Report
- Haskell Interpreter:
Helium (Windows, Unix, Linux, MacOS X, MacOS 9, FreeBSD)
Hugs (Windows, Unix, Linux, MacOS X, MacOS 9, FreeBSD) - Haskell Compiler: GHC (Windows, Unix, Linux, MacOS X, FreeBSD, OpenBSD)
- Haskell IDE: jcreator light (Windows)
- Ada
- Ada Language Reference Manual
- Ada Compiler: GNAT
- Ada IDEs: AdaGIDE (Windows), GRASP (Windows, Unix/Linux)
- Weitere Ada-Seiten:
http://www.acm.org/sigada/
http://www.adapower.com/
http://ada-deutschland.de/
- Viewer
- Editoren mit Syntaxhighlighting
- ConText (Windows), Syntaxhighlighting für Haskell, (Installationshinweise),
- TextPad (Windows), Syntaxhighlighting u.a. für Haskell
- XEmacs (Windows, Unix, Linux, FreeBSD, NetBSD)
- Dokumentationstools
- Ada: adadoc
- Haskell: HDoc haddock HaskellDoc