Dieser abschliessende vierte Band der Einfuhrung in die Informatik behandelt die theoretische Informatik und ausgewahlte fundamentale Algorithmen, Datenstrukturen, Beschreibungs- und Programmierstile, die jeder Informatiker kennen sollte. Ausgehend von einem kurzen Kapitel uber Relationenalgebra und Ordnungstheorie werden die Themen Grammatiken zur Beschreibung formaler Sprachen, Berechenbarkeit sowie Rechen- und Speicherkomplexitat von Algorithmen und Problemstellungen besprochen. Techniken der axiomatischen Spezifikation und der Entity-Relationship-Modellierung werden eingefuhrt und Logik- und objektorientierte Programmierung behandelt. Ein Ausblick auf wichtige okonomische, rechtliche und ethische Aspekte der Informatik rundet das Werk ab.