Einführung in die Informatik I

Dr. Lothar Schmitz
Herbsttrimester 2002

[Termine] [Folien] [Übungen] [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

• Montags 08:30 Uhr bis 10:00 Uhr im Raum 33/0401 und
• Freitags 10:00 Uhr bis 11:30 Uhr im Raum 33/0301

statt (es handelt sich jeweils um die genauen Anfangs- und Endzeiten).

 

Die Übungen finden jeweils Montags 1600 Uhr bis 1900 Uhr in folgenden Räumen statt:

• INF Gruppe 1: 33 / 2420 Übungsleiter Lutz Bichler (Diskrete Mathematik bei Oliver Braun),
• INF Gruppe 2: 33 / 2422 Übungsleiter Michael Ebert (Diskrete Mathematik ebenfalls bei Michael Ebert),
• INF Gruppe 3: 33 / 2431 Übungsleiter Franz Schmalhofer (Diskrete Mathematik bei Erik Offermann),
• WINF: 33 / 0401 Übungsleiter Jan Scheffczyk.

Die Gruppeneinteilung entspricht der Einteilung in der Übung Diskrete Mathematik.

 

[Übersicht]

Folien zur Vorlesung

Die Folien werden auf dieser Seite (soweit möglich) jeweils ein paar Tage vor der entsprechenden Vorlesung veröffentlicht.

• Kapitel 1 [] Handzettel Teil 1 [] Handzettel Teil 2 []
• Kapitel 2 [] Handzettel []
• Kapitel 3 [] Handzettel []
• Kapitel 4 [] Handzettel []
• Kapitel 5a [] Handzettel []
• Kapitel 5b [] Handzettel []
• Kapitel 6 [] Handzettel []
• Kapitel 7 [] Handzettel []
• Kapitel 8 [] Handzettel []
• Kapitel 9 [] Handzettel []

[Übersicht]

Übungsblätter

Die Übungsblätter werden am Freitag vor der Übung oder direkt am Montag in der Vorlesung ausgeteilt. Es empfiehlt sich, die Folien der Vorlesung sowie eigene Aufzeichnungen mit in die Übung zu nehmen.

Aufgaben, die in den Übungsstunden nicht bearbeitet wurden werden als Hausaufgaben an bestimmte Studenten vergeben, die ihre Ergebnisse in der jeweils nächsten Übungstunde vortragen — keine Angst, jeder kommt mal dran. Lösungsvorschläge zu den Übungsaufgaben werden demzufolge mit einer Verzögerung von einer Woche auf dieser Seite veröffentlicht.

Fragen zum Übungsbetrieb richten Sie bitte an Jan Scheffczyk.

• Blatt 1 [, ] Lösungsvorschlag 1 [, ]
• Blatt 2 [, ] Lösungsvorschlag 2 [, ]
• Blatt 3 [, ] Lösungsvorschlag 3 [, ]
• Blatt 4 [, ] MarkovInterpreterVorlage.lhs Lösungsvorschlag 4 [, ] MarkovInterpreter.lhs
• Blatt 5 [, ] BilderMitLuecken.lhs GraphenMitLuecken.lhs Lösungsvorschlag 5 [, ] Bilder.lhs Graphen.lhs
• Blatt 6 [, ] Lösungsvorschlag 6 [, ]
• Blatt 7 [, ] Lösungsvorschlag 7 [, ]
• Probeklausur [, ] Lösungsvorschlag [, ]
• Blatt 8 [, ] Lösungsvorschlag 8 [, ]
• Blatt 9 [, ] Merkblatt zum Hoare Kalkül [, ] Lösungsvorschlag 9 [, ]
• Blatt 10 [, ] Lösungsvorschlag 10 [, ]
  Listings: meineea.ads meineea.adb
• Test [, ] Lösungsvorschlag [, ]

[Übersicht]

Literatur & Links

• Allgemeines
  • Peter Rechenberg (Hrsg.), Gustav Pomberger (Hrsg.), Informatik-Handbuch, Carl Hanser Verlag, 2002, 1192 S., ISBN 3-446-21842-4
• Haskell
  • Simon Thompson, Haskell - the craft of functional programming, Addison-Wesley, 1999, 487 p. (erhältlich in der Lehrbuchsammlung)
  • Antony J.T. Davie, An Introduction to Functional Programming Systems Using Haskell, Cambridge University Press, 1992, ISBN 0-521-27724-8
  • Greg Michaelson, An Introduction to Functional Programming through Lambda Calculus, Addison Wesley, 1989, ISBN 0-201-17812-5
  • Richard Bird, Introduction to Functional Programming using Haskell, second edition, Prentice Hall Europe, 1998, ISBN 0-134-84346-0
  • Paul Hudak, The Haskell School of Expression - Learning Functional Programming through Multimedia, Cambridge University Press, 2000, ISBN 0-521-64408-9
• Lambda-Kalkül: [Tutorial] [Folien]
• Programm-Verifikation:
  • Robert L. Baber, Error-Free Software - Know-How and Know-why of Program Correctness, John Wiley & Sons
• Ada:
  • N. Cohen, Ada as a second Language, second edition, Addison Wesley 1996
  • M. Ben-Ari, Ada for Software Engineers, Wiley 1998

[Übersicht]

Software

• Markov-Algorithmen
  • Online Simulator von Wolfram Kahl
  • sed-Skripten für Dos/Windows Linux/Unix
• Haskell
  • Haskell 98 Report: original revised
  • Haskell Interpreter: 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)
• Viewer
  • (-Viewer)
  • (-Viewer)
• Editoren mit Syntaxhighlighting
  • TextPad (Windows), Syntaxhighlighting u.a. für Haskell
  • XEmacs (Windows, Unix, Linux, FreeBSD, NetBSD)

[Übersicht]