面向计算机科学的数理逻辑
[德] 哈斯 [英] 瑞安
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、LOwenheim-Skolem定理等,并介绍了AHoy语言和NuSMV工具等内容.
Catégories:
Année:
2007
Editeur::
Mechanical Industry Press Pub.
Langue:
chinese
Pages:
277
ISBN 10:
7111213971
ISBN 13:
9787111213970
Fichier:
PDF, 26.33 MB
IPFS:
,
chinese, 2007
Amazon 
Barnes & Noble 
Bookshop.org
Vous souhaitez ajouter une librairie ? Contactez-nous à support@z-lib.do
Convertissez des fichiers
Plus de résultats de recherche
Autres avantages 
![[美] Alfred V.Aho Jeffrey D.Ullman — 计算机科学的基础](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/b15865c2e15b57345d13b6a9ab08c63404ccd70fabfd31fabc0d78695a43c385.jpg)
![[美]GlenBruce，[美]RobDempsey — 分布式计算的安全原理](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/9a9b37d94dc33c64b604d00499953265ec4d3c5b707017a245cc3e7f71cf2300.jpg)
Mots Clefs
Les listes de livres associées
