Informatik Eine Grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Dieser abschlie ende vierte Band der Einf hrung in die Informatik behandelt die theoretische Informatik und ausgew hlte fundamentale Algorithmen, Datenstrukturen, Beschreibungs- und Programmierstile, die jeder Informatiker kennen sollte. Ausgehend von einem kurzen Kapitel ber Relationenalgebra und Ordnungstheorie werden die Themen Grammatiken zur Beschreibung formaler Sprachen, Berechenbarkeit sowie Rechen- und Speicherkomplexit t von Algorithmen und Problemstellungen besprochen. Techniken der axiomatischen Spezifikation und der Entity-Relationship-Modellierung werden eingef hrt und Logik- und Objekt-orientierte Programmierung behandelt. Ein Ausblick auf wichtige konomische, rechtliche und ethische Aspekte der Informatik rundet das Werk ab.