机读格式显示(MARC)
- 010 __ |a 7-111-16053-3 |d CNY49.00
- 100 __ |a 20050415d2005 em y0chiy0121 ea
- 200 1_ |a 面向计算机科学的数理逻辑系统建模与推理(英文版.第2版) |f (英)胡思 等
- 210 __ |a 北京 |c 机械工业出版社 |d 2005-04
- 300 __ |a 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,
- 330 __ |a 数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模
- 801 __ |a CN |b 机械工业出版社 |c 20050415