点击选择搜索分类
首页 - 文学- 正文
☆☆☆☆☆
||
[英] 胡思 等 著
出版社: 机械工业出版社 ISBN:9787111160533 版次:1 商品编码:10131891 品牌:机工出版 包装:平装 丛书名: 经典原版书库 出版时间:2005-04-01 用纸:胶版纸 页数:427 正文语种:英文
《面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)》适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法,紧致性理论和Lowenhenm-Skolem定理,并介绍了Alloy语言和Nusmv工具。
《面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)》自出版以来受到广泛好评,已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学,印度理工学院在内的多个国家几十所高校采纳为教材。
Preface to the second edition
Acdnowledgements
1 Propositional logic
1.1 Declarative sentences
1.2 Natural deauction
1.2.1 Rules for natural deduction
1.2.2 Derived rules
1.2.3 Natural deduction in summary
1.2.4 Provable equivalence
1.2.5 An aside:proof by contradiction
1.3 Propositional logic as a rormal languae
1.4 Semantics of Propositional logic
1.4.1 The meaning of logical connectives
1.4.2 Mathematical induction
1.4.3 Soundness of Propositional logic
1.4.4 Completeness of propositional logic
1.5 Normal forms
1.5.1 Semantic equivalence,satisfiability and validity
1.5.2 Conjunctive normal forms and validity
1.5.3 Horn clauses and satisfiability
1.6 SAT solvers
1.6.1 A linear solver
1.6.2 A cubic solver
1.7 Exercises
1.8 Bibliographic notes
2 Predicate logic
3 Verification by model checking
4 Program verification
5 Modal logics and agents
6 Binary decision diagrams
Bibliography
Index
面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) 电子书 下载 mobi epub pdf txt
面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)-so88
面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
[英] 胡思 等 著
出版社: 机械工业出版社 ISBN:9787111160533 版次:1 商品编码:10131891 品牌:机工出版 包装:平装 丛书名: 经典原版书库 出版时间:2005-04-01 用纸:胶版纸 页数:427 正文语种:英文
内容简介
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。《面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)》适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法,紧致性理论和Lowenhenm-Skolem定理,并介绍了Alloy语言和Nusmv工具。
《面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)》自出版以来受到广泛好评,已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学,印度理工学院在内的多个国家几十所高校采纳为教材。
目录
Foreword to the first editionPreface to the second edition
Acdnowledgements
1 Propositional logic
1.1 Declarative sentences
1.2 Natural deauction
1.2.1 Rules for natural deduction
1.2.2 Derived rules
1.2.3 Natural deduction in summary
1.2.4 Provable equivalence
1.2.5 An aside:proof by contradiction
1.3 Propositional logic as a rormal languae
1.4 Semantics of Propositional logic
1.4.1 The meaning of logical connectives
1.4.2 Mathematical induction
1.4.3 Soundness of Propositional logic
1.4.4 Completeness of propositional logic
1.5 Normal forms
1.5.1 Semantic equivalence,satisfiability and validity
1.5.2 Conjunctive normal forms and validity
1.5.3 Horn clauses and satisfiability
1.6 SAT solvers
1.6.1 A linear solver
1.6.2 A cubic solver
1.7 Exercises
1.8 Bibliographic notes
2 Predicate logic
3 Verification by model checking
4 Program verification
5 Modal logics and agents
6 Binary decision diagrams
Bibliography
Index
前言/序言
面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 环境中的钒-化学及生物化学
- 从此以后岁月漫长
- 科技@你生活 9787302434771 阿孜古丽·吾拉木,张德政-RT
- 做一名合格的幼儿家长 中国轻工业出版社
- 满58包邮 盐的景观,世界篇 9787503872969 秦昭 中国林业出版社
- 物理化学
- {RT}我们如何走到今天:改变世界的7种元素-[英]约翰·布朗;薛露然 中信出版社 978
- 蒙台梭利敏感期早教手册 0~6岁语言交际训练全书 早教教育启蒙书全书认知育儿游戏百科方案子家庭好妈妈
- 彩色口袋自然珍藏图鉴 花朵(全彩)
- 历代帝王家训:让国学精髓照亮孩子的人生
- 正版程世界未解之谜(彩图精装)9787511339423文若愚
- 教子信札 (英)切斯特·菲尔德,褚律元
- 正版刚可畏的对称:探寻现代物理学的美丽9787302331681[美] 徐一鸿,张礼
- 会说话的睡前故事书 童书 儿童睡前小故事集 0-3-4-5-6-7岁宝宝说话能力培养故事书
- 国家地理野生动物大百科