Die Lehrveranstaltung vermittelt Theorie und Praxis der Programmierung von Software am Beispiel der Sprachen Java und Prolog. Diskutiert werden Algorithmen und Datenstrukturen zum Sortieren und Suchen, Graphenalgorithmen, Algorithmen und Datenstrukturen zur Implementierung objekt-orientierter Sprachen sowie die deklarative Programmierung. Diese Inhalte werden in den allgemeineren Kontext der Softwareproduktion eingebettet. Die Vorlesungsinhalte umfassen unter anderem: Objektorientierte Programmierung Typen, Module, Klassen und Objekte Einführung in die Sprache Java Analyse von Algorithmen Modultest und Test-Driven Development Datentypen in Java Elementare & optimierte Sortieralgorithmen Datenstrukturen und Algorithmen zur Suche Logische Programmierung mit Prolog