|
题名:
|
面向计算机科学的数理逻辑 mian xiang ji suan ji ke xue de shu li luo ji / (德)[哈斯]Michael Huth，(英)[瑞安]Mark Ryan著 , 何伟，樊磊译 |
|
ISBN:
|
978-7-111-21397-0 价格： CNY39.00 |
|
语种:
|
chi |
|
载体形态:
|
12,277页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2007.7 |
|
内容提要:
|
本书涵盖了命题逻辑、谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。 |
|
主题词:
|
数理逻辑 研究生 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 4 |
|
其它题名:
|
系统建模与推理 |
|
主要责任者:
|
哈斯 hu si 著 |
|
主要责任者:
|
瑞安 rui an 著 |
|
次要责任者:
|
何伟 he wei 译 |
|
次要责任者:
|
樊磊 fan lei 译 |
|
附注:
|
其他题名：系统建模与推理 |
|
责任者附注:
|
Michael Huth，博士，伦敦帝国学院计算机系高级讲师。 |
|
责任者附注:
|
Mark Ryan，博士，伯明翰大学计算机科学学院高级讲师。 |
|
科图分类法:
|
51.3 版次： 3 |
|
索书号:
|
O141/6682 |