Einführung in die Informatik I

Priv.-Doz. Dr. Lothar Schmitz
Herbsttrimester 2003

Am Donnerstag, 04.12.2003, findet keine Vorlesung "Einführung in die Informatik" statt.

[Termine] [Fragen] [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/0301 und
  • Freitags 10:15 Uhr bis 11:45 Uhr im Raum 33/0301

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

 

Die Übungen finden jeweils Montags bzw. Dienstags statt (die genauen Anfangs- und Endzeiten ergeben sich aus direkten Absprachen mit den Übungsleitern):

  • Gruppe 1 (WINF): Montags, 15:00 Uhr bis 18:00 Uhr, Raum 33 / 2431 Übungsleiter Lutz Bichler,
  • Gruppe 2 (INF/WINF): Montags, 14:00 Uhr bis 16:30 Uhr, Raum 36 / 01242 Übungsleiter Jan Scheffczyk,
  • Gruppe 3 (INF): Dienstags, 13:00 Uhr bis 16:00 Uhr, Raum 33 / 0401 Übungsleiter Lutz Bichler,
  • Gruppe 4 (INF): Dienstags, 13:00 Uhr bis 16:00 Uhr, Raum 33 / 3431 Übungsleiter Jan Scheffczyk.

 

[Übersicht]

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:

Help on Homework Help

[Übersicht]

Folien zur Vorlesung

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

[Ü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.

Wir erwarten, dass Sie Aufgaben, die nicht in der Übung behandelt werden konnten, selbständig nacharbeiten. Lösungsvorschläge zu den Übungsaufgaben werden jeweils Dienstag Nachmittag auf dieser Seite veröffentlicht. Wir empfehlen jedoch dringend, dass Sie sich selbst Gedanken machen und nur im Notfall auf die Lösungsvorschläge zurückgreifen.

Fragen zum Übungsbetrieb richten Sie bitte an Jan Scheffczyk.

[Ü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 pdf
  • Ada:
    • N. Cohen, Ada as a second Language, second edition, Addison Wesley 1996
    • M. Ben-Ari, Ada for Software Engineers, Wiley 1998

[Übersicht]

Software

[Übersicht]