|
题名:
|
面向计算机科学的数理逻辑 [ 专著] 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 |
|
内容提要:
|
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 4 |
|
其它题名:
|
系统建模与推理 |
|
主要责任者:
|
胡特 hu te 著 |
|
主要责任者:
|
瑞安 rui an 著 |
|
次要责任者:
|
何伟 he wei 译 |
|
次要责任者:
|
樊磊 fan lei 译 |