Broy, Manfred Informatik: Eine Grundlegende Einführung Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung (Springer-Lehrbuch)

Das Buch 'Informatik: Eine Grundlegende Einführung Teil IV' von Manfred Broy bietet eine umfassende Einführung in zentrale Themen der Informatik. Es behandelt die theoretischen Grundlagen der Informatik, einschließlich formaler Sprachen und Automatentheorie. Darüber hinaus werden Algorithmen und Datenstrukturen detailliert erläutert, wobei der Fokus auf effiziente Problemlösungsstrategien liegt. Ein weiterer Schwerpunkt des Buches ist die Logikprogrammierung, die als Paradigma zur Entwicklung logischer Schlussfolgerungen vorgestellt wird. Schließlich wird die Objektorientierung thematisiert, wobei Konzepte wie Klassen, Objekte und Vererbung erklärt werden. Dieses Lehrbuch richtet sich an Studierende der Informatik und verwandter Disziplinen und bietet sowohl theoretisches Wissen als auch praktische Anwendungen.