Einführung in die Informatik II

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.

[Übersicht]

 

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

 

Materialien zur Vorlesung

Die Folien werden auf dieser Seite jeweils vor der entsprechenden Vorlesung veröffentlicht. [Übersicht]

 

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

[Übersicht]

 

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
[Übersicht]

 

Software

[Übersicht]

inf2

Institut für Softwaretechnologie
Fakultät für Informatik
Universität der Bundeswehr München
85577 Neubiberg

Tel: +49 (89) 6004-2263 oder -3352
Fax: +49 (89) 6004-4447
E-Mail: inf2@unibw.de

So finden Sie uns

___

Hier finden Sie Informationen zum Studium an der Fakultät für Informatik

Der Studiendekan der Fakultät: Prof. Dr. Gunnar Teege