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

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

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

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

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

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

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

作者简介

未发行或暂未收录

一个交易者的资金管理系统 资金管理,投资,交易,金融,股票,交易系统,投机,期货,　2020-02-20 …

数据库管理系统原理与设计 数据库,计算机,Database,数据库管理系统原理与设计,教材,软件开发,计算机应用Pro,清华大学出版社,　2020-02-20 …

数据库管理系统原理与设计 数据库,计算机,教材,数据库理论,软件工程,DB,编程,计算机科学,　2020-02-20 …

深入理解机器学习：从原理到算法 机器学习,人工智能,计算机,看英文版,数学,AI,MachineLearning,计算科学,　2020-02-20 …

对象-关系数据库管理系统原理与实现 数据库,计算机,对象,关系,会计,　2020-02-20 …

理系研究者のためのアカデミック ライティング 　2020-02-20 …

双面神绩效管理系统 绩效管理,管理学,人力资源,绩效,管理,人力资源管理,心理学,工具书,　2020-02-20 …

森村诚一推理系列 孤独的密葬 翻译家的杀人推理 森村誠一サスペンス 孤独の密葬～翻訳家の殺人推理～( 悬疑　2020-02-20 …

西村京太郎旅行推理系列 特急舞女号连环杀人 西村京太郎トラベルミステリー スーパービュー踊り子連続殺 悬疑　2020-02-20 …

宋帝国的危机与维系 宋史,海外中国研究,历史,海外中国研究丛书,中国研究,汉学,海外汉学,新书记,　2021-08-01 …

面向计算机科学的数理逻辑系统建模与推理大结局

剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。