|
题名:
|
面向计算机科学的数理逻辑 / (英)伦敦帝曙学院(Michael Huth),伯明翰大学(Mark Ryan)著 , |
|
ISBN:
|
7-111-16053-3 价格： CNY49.00 |
|
语种:
|
eng |
|
载体形态:
|
427页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2005 |
|
内容提要:
|
本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑、谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。 |
|
主题词:
|
计算机科学 英文 |
|
主题词:
|
计算机科学 |
|
中图分类法:
|
TP3 版次： 4 |
|
其它题名:
|
系统建模与推理 |
|
版次:
|
2版 |
|
主要团体责任者:
|
伦敦帝曙学院 著 |
|
主要团体责任者:
|
Huth 著 |
|
主要团体责任者:
|
伯明翰大学 著 |
|
主要团体责任者:
|
Ryan 著 |