Informatik

丛 书 名：Springer-Lehrbuch

版本说明：1

作     者：Manfred Broy 

I S B N：(电子) 9783642976131 

出 版 社：Springer Berlin  Heidelberg 

出 版 年：1000年

页      数：IX, 215页

主 题 词：Programming Techniques Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Data Structures Computation by Abstract Devices Combinatorics 

摘      要：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.