Inhalt Grundlagen der Berechenbarkeit: -universelle Registermaschinen -Syntax und operationelle Semantik imperativer Programmiersprachen Formale Verfahren zur Spezifikation und Verifikation imperativer Programme: -Bedingungen auf dem Zustandsraum (assertions), -Hoare-Kalkül, partielle Korrektheit, Termination Konzepte imperativer und objektorientierter Programmierung (Java): -primitive und zusammengesetzte Datentypen, -Methoden (Prozeduren und Funktionen), Parameterübergabe, Überladung -Module, Klassen, Objekte -Klassenhierarchien, Vererbung, abstrakte Klassen, Schnittstellen Programmiermethodik: -schrittweise korrekte Programmentwicklung -Teile und Herrsche -Backtracking Analyse von Laufzeit und Speicherbedarf: -O-Notation -Umwandlung von Rekursion in Iteration -Analyse von Such- und Sortieralgorithmen Literatur David Gries, Paul Gries: Multimedia Introduction to Programming Using Java Springer-Verlag 2005 James Gosling et al.: The Java Language Specification Third Edition, Sun Microsystems 2005 Robert Sebesta: Concepts of Programming Languages, Addison-Wesley , 2005 Mark Allen Weiss: Data Structures & Problem Solving Using Java, Addison Wesley, 3. Auflage, 2005 Gunter Saake, Kai-Uwe Sattler: Algorithmen und Datenstrukturen - Eine Einführung mit Java, dpunkt.verlag, 2004 Schließen