咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Informatik 收藏

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.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分