莫德凯·本·阿里 计算机科学的数学逻辑。第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/.审核人:Damas Gruska(布拉迪斯拉发) 引用于15文件 MSC公司: 03-01 关于数学逻辑和基础的介绍性说明(教科书、教程论文等) 68-01 与计算机科学相关的介绍性说明(教科书、教程论文等) 00A06号 非数学工作者的数学(工程、社会科学等) 03B05号 经典命题逻辑 03B10号机组 经典一阶逻辑 03B35型 证明和逻辑运算的机械化 03B44号 时间逻辑 03B70号 计算机科学中的逻辑 68N17号 逻辑编程 65年第68季度 算法和问题复杂性分析 60年第68季度 规范和验证(程序逻辑、模型检查等) 第68页第15页 定理证明(演绎、解析等)(MSC2010) 97E30型 逻辑(教育方面) 97页20 理论计算机科学(教育方面) 关键词:经典逻辑;时序逻辑;二进制决策算法;逻辑程序设计;验证;模型检查;SAT解算器 引文:Zbl 0808.68095号;Zbl 1009.03001号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ben-Ari},计算机科学的数学逻辑。第三版,柏林:施普林格出版社(2012;Zbl 1248.03001) 全文: 内政部