杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

面向计算机科学的数理逻辑:系统建模与推理/(德)Michael Huth，(英)Mark Ryan著 何伟，樊磊译

出版发行项:

北京:机械工业出版社,2007

ISBN及定价:

978-7-111-21397-0/CNY39.00

载体形态项:

12,277页;26cm

并列正题名:

Logic in computer science:modelling and reasoning about systems

其它题名:

系统建模与推理

丛编项:

计算机科学丛书

个人责任者:

(德) 哈斯 M. 著

个人责任者:

(德) Huth Michael 著

个人责任者:

(英) 瑞安 M. 著

个人责任者:

(英) Ryan Mark 著

个人次要责任者:

何伟 译

个人次要责任者:

樊磊 译

学科主题:

数理逻辑

中图法分类号:

O141

版本附注:

英国剑桥大学出版社授权出版 据原书第2版译出

提要文摘附注:

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。

电子资源:

http://www.bookuu.com/kgsm/ts/2007/07/01/1133116.shtml

豆瓣简介：