MARC状态：订购 文献类型：中文图书 浏览次数：10
- 题名/责任者:
- 面向计算机科学的数理逻辑系统建模与推理（英文版.第2版）/(英)胡思 等
- 出版发行项:
- 北京:机械工业出版社,2005-04
- ISBN及定价:
- 7-111-16053-3/CNY49.00
- 载体形态项:
- 427页;16开
- 丛编项:
- 经典原版书库
- 个人责任者:
- (英)胡思 等
- 中图法分类号:
- TP
- 一般附注:
- 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，
- 提要文摘附注:
- 数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模
全部MARC细节信息>>