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