[放大封面]
[放大封底]
|
| 【相关下载】 |
 |
|
|
| 【二手书】 |
 |
本产品共有 0 册二手书出售，
最低价：￥.00 [查看] |
|
|
|
| 面向计算机科学的数理逻辑系统建模与推理（原书第2版）
|
|
市场价：￥39.00
贵宾会员价：￥29.25
高级会员价：￥29.25
普通会员价：￥29.25 |
|
|
|
|
|
| 货到付款：北京、上海、天津、广州、深圳、湖北、河南、山西、陕西、山东、四川、重庆、浙江 更多查看>> |
|
|
| |
大封面 |
封底 |
前言 |
内容简介 |
序言 |
目录 |
作者简介 |
译者简介 |
作者序 |
译者序 | |
|
| 【读者评论】 |
 |
|
 |
内容简介
作为计算机及其相关专业的数理逻辑方面的教材，本书自出版以来受到了广泛的好评，世界许多著名大学（比如美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰Vrije大学、印度理工学院）都采用本书作为教材。
全书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和验证这一主题，反映计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性（SAT）算法、紧致性理论和lwenheim-Skolem定理，并介绍了Alloyy语言和NuSMV工具。
数理逻辑是计算机科学的基础之一，在模型与系统的规范与验证等方面有着广泛的应用。随着当今软硬件产品（电路、程序和通信协议等）日趋复杂，数理逻辑已经成为设计开发人员的日常工具。本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
|
目录
伸缩显示:  [弹出查看]
伸缩显示: [弹出查看] |
|
推荐图书
金书豆豆
【您的购物车】
(共0条)