Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

Vorlesung: Informatik II (SS06)

Prof. Dr. Martin Wirsing

Inhaltsverzeichnis

• Aktuelles
• Inhalt
• Folien
• Übungsblätter
• Folien der Zentralübung
• Material
• Personen
• Termine
• Forum

Aktuelles

• Korrektur Wintersemesterklausur

  2006-10-06

  Die Korrektur der Wintersemesterklausur ist in UniWorx einsehbar. Bestanden hat, wer 17 oder mehr Punkte erreicht hat. Die Klausureinsicht wird am Donnerstag, 12.10.2006 von 14-15 Uhr im Raum E0.3 in der Oettingenstr. 67 stattfinden.

• UML-Referenz: Neue Version

  2006-09-26

  Die UML-Kurzreferenz wurde leicht erweitert (siehe dort, Appendix A: Dokumentverlauf).

• Korrekturen in Übungsblättern

  2006-08-09

  In den Lösungen zu den Übungsblättern 7,9,10 und K wurden einige Korrekturen vorgenommen, ebenso in der Angabe zu Blatt 7.

Inhalt

Hörerkreis:

• Studierende im Grundstudium der Informatik
• Studierende mit Nebenfach Informatik

Folien

• Folien 00 - Übersicht
• Folien 01 - Einführung in die Programmierung mit Java
• Folien 02 - Einfache Rechenstrukturen und Kontrollfluss (Teil 1)
• Folien 02 - Einfache Rechenstrukturen und Kontrollfluss (Teil 2)
• Folien 03 - Hoare-Kalkül (Teil 1)
• Folien 03 - Hoare-Kalkül (Teil 2)
• Folien 04 - Reihungen und Prozeduren
• Folien 05 - Algorithmen auf Reihungen: Suchen und Sortieren
• Folien 06 - Klassen
• Folien 07 - Parameterübergabemechanismen
• Folien 08a - Vererbung
• Folien 08b - Mehrfachvererbung und Schnittstellen
• Folien 08c - Variablen
• Folien 09 - Generische Typen
• Folien 10 - Assoziation und Aggregation
• Folien 11 - Robuste Programme durch Ausnahmebehandlung, Exc{0-4}.java als ZIP-Datei
• Folien 12a - Testen mit JUnit
• Folien 12b - Test-Driven Design, QuersummeTest.java, Quersumme1Test.java
• Folien 12c - Spezifikation und Test: Zusicherungen in Klassendiagrammen
• Folien 13 - Entwurfsmuster
• Folien 14a - Dynamische Datenstrukturen: Listen und Bäume
• Folien 14b - Balancierte Bäume
• Folien 15a - Nebenläufige Programmierung I
• Folien 15b - Nebenläufige Programmierung II, ProgrammeThreads.zip

Übungsblätter

• Blatt 1 - Musterlösung 1
• Blatt 2 - Musterlösung 2
• Blatt 3 - Musterlösung 3
• Blatt 4
  • Angabe: blatt04.pdf, InsertionSortSkeleton.java, MatrixTranspositionSkeleton.java, BreakExample.java.
  • Musterlösung: loesung04.pdf, InsertionSort.java, MatrixTransposition.java.
• Blatt 5
  • Angabe: blatt05.pdf, ArrayStackSkeleton.java.
  • Musterlösung: loesung05.pdf, Clerk.java, ArrayStack.java
• Blatt 6
  • Angabe: blatt06.pdf, Clerk.java
  • Musterlösung: loesung06.pdf
• Blatt 7
  • Angabe: blatt07.pdf, VariableEvaluation.java, IntQueue.java, QueueTester.java,
  • Musterlösung: loesung07.pdf
• Blatt 8
  • Angabe: blatt08.pdf, PairTester.java, Swimming.java, Driving.java, VehicleTest.java.
  • Musterlösung: loesung08.pdf
• Blatt 9
  • Angabe: blatt09.pdf, AbstractLinkedList.java, ListIteratorImpl.java, ListElementContainer.java.
  • Musterlösung: loesung09.pdf
• Blatt 10
  • Angabe: blatt10.pdf, LengthTest.java.
  • Musterlösung: loesung10.pdf
• Zusatzblatt
  • Angabe: blattK.pdf, StringTree.java, TreePrinter.java, UtilTest.java.
  • Musterlösung: loesungK.pdf

Folien der Zentralübung

• KW 18: Eclipse
• KW 19: Hoare-Beweis einer Fibonacci-Zahlen-Funktion
• KW 20: Hoare-Beweisstile am Beispiel eines Primzahlchecks
• KW 21: Mergesort, Coding-Tipps. Java-Source: kw21_MergeSort.java, kw21_Stream.java
• KW 22: Bindungen
• KW 25: Vererbung in java.io
• KW 26: Assoziation, Aggregation, Rollen
• KW 27: Exceptions
• KW 28: JUnit 4
• KW 30: Swing (kein Prüfungsstoff). Java-Source: TemperatureConverter.java

Material

Java

Java Homepage

Java 1.5 downloads: API (JavaDoc), JDK (genauer: JDK 5.0 Update 6).

JDK 1.5 API online

Eclipse

Eclipse SDK zum Herunterladen. Daumenregel: Wenn Sie an Eclipse als Entwicklungsumgebung, als integrated development environment (IDE), denken, dann wollen Sie das Eclipse SDK ( software development kit).

RSS

RSS-Artikel in Wikipedia.

RSS Readers: Liste mit RSS-Programmen.

Weitere Dokumente

Ein Script zum Hoare-Kalkül.

Info-II-Glossar: Erkl�rungen zu ein paar der unz�hligen Abkürzungen (JDK, JVM, JRE).

Merkzettel zu Variablen: Übersicht über die Arten von Variablen, deren unterschiedliche Namen und Lebensdauer.

UML-Kurzreferenz: Zusammenfassung der in der Vorlesung vorgestellten UML-Konstrukte.

Verschiedene Links

UMLet: Ein kleines Programm zum Erstellen von UML-Diagrammen.

Personen

Vorlesung

Prof. Dr. Martin Wirsing ( wirsing, 0.58, Oettingenstr. 67; 2180 9154)

Übungen

Moritz Hammer ( hammer, E0.9, Oettingenstr. 67; 2180 9182)

Axel Rauschmayer ( rauschma, E5, Oettingenstr. 67; 2180 9126)

Termine

Vorlesung

4-stündig

Di 11-13 Uhr, Ort: HGB A140, Geschwister-Scholl-Platz 1

Do 11-13 Uhr, Ort: E52, Theresienstraße 39

Beginn: 1. Woche

Zentralübung

Anschliessend an die Vorlesung wird Di, 13:00-13:45 Uhr, Ort: HGB A140, Geschwister-Scholl-Platz 1 eine Zentralübung abgehalten.

Beginn: 2. Woche (2.5.2006)

Übung

Die Übung wird in Gruppen abgehalten zu den untenstehenden Terminen.

Zeit	Raum	Tutor
Mo, 14-16	C 112, Ther.	Bianca Höllerer
Mo, 14-16	M 001, Hauptgebäude (*)	Uwe Spettnagel
Di, 14-16	B 045, Ther.	Florian Kühne
Di, 16-18	1205, Leo 13 (Schweinchenbau)	Simon Acker
Mi, 13-15	C 112, Ther.	Peter Wackersreuther
Fr. 11-13	B 133, Ther.	Gert Kauntz

(*) Einmalig am 12.06.2006 belegt

Klausurtermine

Freitag, 16.6.2006, 18-19 Uhr

Samstag, 22.7.2006, 10-11 Uhr

Forum