Informatik: Eine Grundlegende Einfuhrung, Teil Iv. Theoretische Informatik, Algorithmen Und Datenstrukturen, Logikprogrammierung, Objektorientierung

Dieser abschlieende 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.