×

计算机科学的数学逻辑。第3版。 (英语) Zbl 1248.03001号

柏林:施普林格出版社(ISBN 978-1-4471-4128-0/pbk;978-1-447 1-4129-7/电子书)。xv,第346页。(2012).
这本书是为计算机科学本科生准备的。除了非正式的集合论(在长达10页的附录中进行了总结)和图形、语言和程序的基础知识外,不假设有任何特定的数学知识。为了清晰和准确,第三版的文本已全部改写(关于第一版和第二版的评论,请参阅Zbl 0808.68095号兹比尔1009.03001)。此外,根据当代计算机科学的新趋势和教育需求,删除了一些部分,增加了一些部分。逻辑编程的讨论已被缩短,Prolog程序及其文档已被删除到免费存档中。关于({\mathcal Z})符号的章节已经删除,因为正如作者所说,很难在一章中公正地处理这个重要的主题。由于模型检查已成为程序验证中广泛使用的技术,因此第16章中对模型检查的讨论得到了极大的扩展。新增了一章专门介绍SAT求解器(现为第6章)(将近30页)。它讨论了因果形式的性质、判定可满足性的David-Putman和Davis-Putnam-Logemann-Lovel算法以及一些相关的示例和修改、随机算法,最后讨论了(text{SAT}^*)的一些复杂性问题。有150个练习题可供合格的讲师回答。算法的文档化、开源、Prolog源代码可在http://code.google.com/p/mlcs/.

MSC公司:

03-01 关于数学逻辑和基础的介绍性说明(教科书、教程论文等)
68-01 与计算机科学相关的介绍性说明(教科书、教程论文等)
00A06号 非数学工作者的数学(工程、社会科学等)
03B05号 经典命题逻辑
03B10号机组 经典一阶逻辑
03B35型 证明和逻辑运算的机械化
03B44号 时间逻辑
03B70号 计算机科学中的逻辑
68N17号 逻辑编程
65年第68季度 算法和问题复杂性分析
60年第68季度 规范和验证(程序逻辑、模型检查等)
第68页第15页 定理证明(演绎、解析等)(MSC2010)
97E30型 逻辑(教育方面)
97页20 理论计算机科学(教育方面)
PDF格式BibTeX公司 XML格式引用
全文: 内政部