Einführung in die Informatik II

Einführung in die Informatik II

Dr. Lothar Schmitz
Wintertrimester 2003

[Termine] [Folien] [Übungen] [Einsendungen von Studenten] [Literatur] [Software]

TrimestralKlausur

Die Trimestralklausur zum Scheinerwerb findet statt
am 09.04.2003
von 08:00 - 10:00 Uhr
im Gebäude 35 / Raum 1210B
Hilfsmittel sind nicht zugelassen.

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:25 Uhr bis 09:55 Uhr im Raum 33/3331 und
  • Donnerstags 13:25 Uhr bis 14:55 Uhr im Raum 33/0301
statt (es handelt sich um die genauen Anfangs- und Endzeiten).

Die Übungen finden zu folgenden Terminen statt:

  • INF Gruppe 1: Montag, 10:05 - 12:35, 41 / 0501 (Electronic Classroom), Übungsleiter Peter Aschenbrenner,
  • INF Gruppe 2 (Fördergruppe): Donnerstag, 15:05 - 17:35, 33 / 2111, Übungsleiter Franz Schmalhofer,
  • INF Gruppe 3 (Fördergruppe): Donnerstag, 15:05 - 17:35, 33 / 0301, Übungsleiter Michael Ebert,
  • WINF: Montag, 10:05 - 12:35, 33 / 2432 Übungsleiter Jan Scheffczyk.
[Übersicht]

Folien zur Vorlesung

Die Folien werden auf dieser Seite (soweit möglich) jeweils ein paar Tage vor der entsprechenden Vorlesung veröffentlicht. Die Folien für das vergangene Herbsttrimester 2002 befinden sich hier. [Übersicht]

Übungsblätter

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

Fragen zum Übungsbetrieb richten Sie bitte an Jan Scheffczyk.

[Übersicht]

Einsendungen von Studenten

[Ü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
  • Komplexität:
    • Angelika Steger, Diskrete Strukturen I, Springer, 2001
    • J. Hopcroft, R. Motwani, J. Ullman, Einfürung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, 2. Auflage, Addison-Wesley, 2002
[Übersicht]

Software

[Übersicht]