面向计算机科学的数理逻辑 系统建模与推理 原书第2版 德 迈克尔·休斯 Michael Huth , 英 马克·莱恩 Mark Ryan 著 何伟,樊磊 译 机械工业出版社 9787111770688
配送至
| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787111770688 |
| 所属分类：图书>计算机/网络>硬件外部设备维修 |
编辑推荐
作为计算机及其相关专业的数理逻辑课程教材，本书自出版以来受到了广泛的好评，世界许多著名大学（比如美国普林斯顿大学、卡内基·梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰大学、印度理工学院）都采用本书作为教材。 全书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和验证这一主题，反映计算机科学中数理逻辑的发展和实际需要。第版新增了可满足性（）算法、紧致性理论和定理，并介绍了语言和工具。本书适合作为高等院校计算机及相关专业的数理逻辑形式化方法课程的教材，也可供相关研究人员和专业人士参考。商品详情内容简介
数理逻辑是计算机科学的基础之一，在模型与系统的规范与验证等方面有着广泛的应用。随着当今软硬件产品电路、程序和通信协议等）日趋复杂，数理逻辑已经成为设计开发人员的日常工具。
作为计算机及其相关专业的数理逻辑课程教材，本书自出版以来受到了广泛的好评，世界许多著名大学（比如美国普林斯顿大学、卡内基·梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰大学、印度理工学院都采用本书作为教材。
全书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和验证这一主题，反映计算机科学中数理逻辑的发展和实际需要。第版新增了可满足性（）算法、紧致性理论和定理，并介绍了语言和工具。
本书适合作为高等院校计算机及相关专业的数理逻辑形式化方法课程的教材，也可供相关研究人员和专业人士参考。
目 录
译者序
第版序
第版前言
致谢
第章命题逻辑
判断语句
自然演绎
自然演绎规则
派生规则
自然演绎总结
逻辑等
侧记：反证法
作为形式语言的命题逻辑
命题逻辑的语义译者序
第版序
第版前言
致谢
第章命题逻辑
判断语句
自然演绎
自然演绎规则
派生规则
自然演绎总结
逻辑等
侧记：反证法
作为形式语言的命题逻辑
命题逻辑的语义
逻辑连接词的含义
数学归纳法
……
显示全部信息
作为计算机及其相关专业的数理逻辑课程教材，本书自出版以来受到了广泛的好评，世界许多著名大学（比如美国普林斯顿大学、卡内基·梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰大学、印度理工学院）都采用本书作为教材。 全书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和验证这一主题，反映计算机科学中数理逻辑的发展和实际需要。第版新增了可满足性（）算法、紧致性理论和定理，并介绍了语言和工具。本书适合作为高等院校计算机及相关专业的数理逻辑形式化方法课程的教材，也可供相关研究人员和专业人士参考。商品详情内容简介
数理逻辑是计算机科学的基础之一，在模型与系统的规范与验证等方面有着广泛的应用。随着当今软硬件产品电路、程序和通信协议等）日趋复杂，数理逻辑已经成为设计开发人员的日常工具。
作为计算机及其相关专业的数理逻辑课程教材，本书自出版以来受到了广泛的好评，世界许多著名大学（比如美国普林斯顿大学、卡内基·梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰大学、印度理工学院都采用本书作为教材。
全书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和验证这一主题，反映计算机科学中数理逻辑的发展和实际需要。第版新增了可满足性（）算法、紧致性理论和定理，并介绍了语言和工具。
本书适合作为高等院校计算机及相关专业的数理逻辑形式化方法课程的教材，也可供相关研究人员和专业人士参考。
目 录
译者序
第版序
第版前言
致谢
第章命题逻辑
判断语句
自然演绎
自然演绎规则
派生规则
自然演绎总结
逻辑等
侧记：反证法
作为形式语言的命题逻辑
命题逻辑的语义译者序
第版序
第版前言
致谢
第章命题逻辑
判断语句
自然演绎
自然演绎规则
派生规则
自然演绎总结
逻辑等
侧记：反证法
作为形式语言的命题逻辑
命题逻辑的语义
逻辑连接词的含义
数学归纳法
……
显示全部信息