面向计算机科学的数理逻辑系统建模与推理读书介绍

类别	页数	译者	网友评分	年代	出版社
书籍	427页		8.6	2020	机械工业

定价	出版日期	最近访问	访问指数
49.00元	2020-02-20 …	2020-04-04 …	49

主题/类型/题材/标签

计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS,

作者

胡思 ISBN:9787111160533 原作名/别名:《Logic in Computer Science：Modelling and Reasoning about Systems》

内容和作者简介

面向计算机科学的数理逻辑系统建模与推理摘要

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。

本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。

本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教材。

作者简介

本书后续版本

未发行或暂未收录

喜欢读〖面向计算机科学的数理逻辑系统建模与推理〗的人也喜欢：

概率论与数理统计统计,数学,统计学,概率统计,计量理论,统计学进修,英文教材,外文原著,　2020-02-20 …

统计数据会说谎统计学,统计,数据陷阱,科普,数据分析,数学,研究方法,经济金融逻辑,　2020-02-20 …

概率论与数理统计数学,概率论与数理统计,教材,统计学,教科书,概率论,大学教材,考研,　2020-02-20 …

概率论与数理统计数学,统计学,概率统计,教材,概率论,陈希孺,统计,中国科学技术大学,　2020-02-20 …

概率论与数理统计教程概率论与数理统计,数学,概率论,统计学,大学教材,数理统计,教材,统计,　2020-02-20 …

电商数据分析与数据化运营数据分析,电商,运营,数据,职场技能,产品经理,管理学,工具书,　2020-02-20 …

金融统计与数据分析金融工程,金融,R,统计,　2020-02-20 …

统计数字会撒谎统计学,统计,经济,经济学,统计数字会撒谎,科普,商业,有趣的,　2020-02-20 …

概率论与数理统计教材,数学,概率论,数理统计,经管类,本科教材,概率论与数理统计,大学,　2020-02-20 …

概率论与数理统计数学,统计学,概率统计,概率论与数理统计,概率论,统计,教材,概率,　2020-02-20 …