面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 电子书下载
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。
本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法,紧致性理论和Lowenhenm-Skolem定理,并介绍了Alloy语言和Nusmv工具。
本书自出版以来受到广泛好评,已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学,印度理工学院在内的多个国家几十所高校采纳为教材。
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- 《隐谷路:一个精神分裂症家族的绝望与希望》罗伯特·科尔克全新增订版 电子书下载
- 《太平洋战争系列:《山雨欲来》《铤而走险》《不宣而战》(全三册)》青梅煮酒 电子书下载
- 《网内人》陈浩基修订版 电子书下载
- 《坚毅》安杰拉.达克沃思中文修订版 电子书下载
- 《大脑的情绪生活》理查德・戴维森中文版 电子书下载
- 《美食与文明:帝国塑造烹饪习俗的全球史》 电子书下载
- 《区块链技术驱动金融》阿尔文德·纳拉亚南 / 约什·贝努 / 爱德华·费尔顿 / 安德鲁·米勒 / 史蒂文·戈德费德 电子书下载
- 《恰如其分的自尊》[法] 克里斯托弗·安德烈 / [法] 弗朗索瓦·勒洛尔 电子书下载
- 《python机器学习手册》克里斯·阿尔本(Chris Albon) 电子书下载
- 《吵架又没发挥好》森优子修订版 电子书下载
- 《便秘自然疗法》刘飞常见病自然疗法丛书文字版 电子书下载
- 《王阳明:让良知自由》赵柏田修订版 电子书下载