Informatik: Eine Grundlegende Einführung, Teil Iv. Theoretische Informatik, Algorithmen Und Datenstrukturen, Logikprogrammierung, Objektorientierung (springer-lehrbuch) (german Edition)

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 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 Front Matter....Pages I-IX Formale Sprachen....Pages 1-71 Berechenbarkeit....Pages 73-107 Komplexitätstheorie....Pages 109-138 Effiziente Algorithmen und Datenstrukturen....Pages 139-161 Beschreibungstechniken in der Programmierung....Pages 163-196 Abschließende Bemerkungen zur Informatik....Pages 197-203 Back Matter....Pages 205-217 General literature -- Introductory and Survey