阿霍，阿尔弗雷德五世。；杰弗里·乌尔曼。 计算机科学基础。 （英语） Zbl 0816.68001号 计算机科学原理丛书。牛津：弗里曼。十三、 第765页（1992年）。 这是一本关于计算机科学理论基础的优秀教材。它向读者介绍了主要的计算思想和抽象概念，即可以在计算机中表示的真实世界问题的模型。这本书强调了三个重要主题：1）数据模型是用来描述问题的抽象；2） 数据结构作为用于表示数据模型的编程语言结构；3） 算法是通过操纵数据模型或数据结构来获得解决方案的技术。读者还将学习递归和设计代数（即命题逻辑、集合代数、关系代数、正则表达式代数）。作者清楚地展示了数学抽象是如何转化为工作程序的。本书首先面向本科生和研究生课程（C2和CS109课程）的所有学生。对于具有一定编程语言Pascal知识的读者来说，这些材料是合适的。呈现的风格非常清晰，组织得很好，作者很好地处理了许多困难的主题，如归纳和递归、递归关系和关系代数。为了帮助学生更容易地掌握材料，有一些特殊的文本组织辅助工具。各章分为几个部分。每章开头都有一个提纲部分，结尾有一个总结部分，重点突出。旁注标记了重要的概念和定义。简短的注释（对文本的阐述、关于程序或算法设计的一些观点、示例、论点、对其他主题的简要介绍）通过双线与文本分开。大部分部分以练习结束。在各部分中分布了600多个练习。在这些练习中，大约有30%用一个星号标记，它们比未标记的练习更难。标有两个星号（约10%）的练习最具挑战性。各章以参考书目注释结束。审核人：V.Dagiene（维尔纽斯） 引用于13文件 MSC公司： 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 68号01 软件理论的一般主题 68甲15 编程语言理论 2005年第68季度 计算模型（图灵机等）（MSC2010） 68宽10 计算机科学中的并行算法 68第05页 数据结构 关键词：数据结构；设计代数；命题逻辑；集合代数；算法设计 PDF格式BibTeX公司 XML格式引用 \textit｛A.V.Aho｝和\textit｛J.D.Ullman｝，计算机科学基础。牛津：弗里曼（1992；Zbl 0816.68001）