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 objektorientierte Programmierung behandelt. Ein Ausblick auf wichtige ökonomische, rechtliche und ethische Aspekte der Informatik rundet das Werk ab.
Dieser abschließende vierte Band der grundlegenden Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen, Datenstrukturen sowie Beschreibungs- und Programmierstile, die jeder Informatiker kennen sollte. Unter anderem werden folgende Themen besprochen: Grammatiken zur Beschreibung formaler Sprachen, Berechenbarkeit, Rechen- und Speicherkomplexität von Algorithmen und Problemstellungen, axiomatische Spezifikation, Entity-Relationship-Modellierung, Logikprogrammierung und objektorientierte Programmierung besprochen. Das Buch schließt mit einem Ausblick auf wichtige ökonomische, rechtliche und ethische Aspekte der Informatik.
Manfred Broy
Algorithmen Algorithmen und Datenstrukturen Berechenbarkeit Betriebssysteme Datenstrukturen Formale Sprachen Informatik Komplexität Programmiersprache Programmierung Relationen Relationenalgebra Systemprogrammierung Verteilte Systeme Übersetzer