面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) pdf epub mobi txt 电子书 下载 2024

图书介绍


面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)

简体网页||繁体网页
[英] 胡思 等 著



点击这里下载
    


想要找书就要到 静流书站
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-22

类似图书 点击查看全场最低价

出版社: 机械工业出版社
ISBN:9787111160533
版次:1
商品编码:10131891
品牌:机工出版
包装:平装
丛书名: 经典原版书库
出版时间:2005-04-01
用纸:胶版纸
页数:427
正文语种:英文

面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

相关图书



面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) pdf epub mobi txt 电子书 下载



具体描述

内容简介

数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。
《面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)》适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法,紧致性理论和Lowenhenm-Skolem定理,并介绍了Alloy语言和Nusmv工具。
《面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)》自出版以来受到广泛好评,已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学,印度理工学院在内的多个国家几十所高校采纳为教材。

目录

Foreword to the first edition
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版) pdf epub mobi txt 电子书 下载
想要找书就要到 静流书站
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

很好

评分

评分

此书好,真的好,是真的。

评分

此书好,真的好,是真的。

评分

物流很快 很经典的书 不错

评分

面向一下子

评分

内容结构合理,适合反复研究的教材

评分

这本书本身是非常推荐的,但是寄来的这本,由于我对书的硬件要求较高,所以在看到书页颜色从头到尾不统一且中间有一小块略微突出的情况下,我只能打一般。

评分

书不错,包装也很好~~~~

类似图书 点击查看全场最低价

面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) pdf epub mobi txt 电子书 下载


分享链接


去京东购买 去京东购买
去淘宝购买 去淘宝购买
去当当购买 去当当购买
去拼多多购买 去拼多多购买


面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) bar code 下载
扫码下载










相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 windowsfront.com All Rights Reserved. 静流书站 版权所有