经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《Scala与Clojure函数式编程模式》读书内容简介:开发者调查，最受程序员喜爱的开发语言中，Clojure和Scala分别位列第五和第六。排名第一的是Swift，而Swift相比原先的Objective-C最重要的优点之一，就是对函数式编程提供了更好的支持。同时，新一代分布式计算系统Spark不仅在实...详情

经典好书《数学模型》读书内容简介:于1987年、1993年和2003年。基于作者20多年来从事数学建模教学、组织数学建模竞赛、开设数学实验课程以及编写相关图书的经验，参考国内外数学建模教材和教学单元，第四版在保持前三版基本结构和风格的基础上，进行补充与修订：增加了一些实用性较强、生活...详情

经典好书《Excel数据建模与应用》读书内容简介:SMA）这一管理学重要课题。我们编写本书的目的是为了演示说明一系列广泛的应用程序，并介绍如何使用Microsoft的Excel软件对它们进行建模和分析。我们强调经过验证的问题解决方法，并且基于这些方法进行决策，因为我们认为这是专业人士解决问题的方式。...详情

经典好书《数学建模（原书第5版）》读书内容简介:指导学生初步掌握数学建模的思想和方法，共分两大部分：离散建模和连续建模，通过本书的学习，学生将有机会在创造性模型和经验模型的构建、模型分析以及模型研究方面进行实践，增强解决问题的能力。《华章数学译丛：数学建模（原书第5版）》对于用到的数...详情

经典好书《订阅经济――数字时代的商业模式变革》读书内容简介: 作者简介详情

经典好书《金融衍生产品的数学模型》读书内容简介:工程方法对衍生产品建立模型的理论教科书，主要内容是关于大多数衍生证券都共同适用的鞅定价原理。仔细分析通常在公平和有固定收益市场交易的金融衍生产品所涉及的广泛内容，主要集中在定价、对冲及其风险管理等几个方面。金融衍生产品的数学模型是一本关...详情

经典好书《MATLAB在数学建模中的应用》读书内容简介:的角度介绍了MATLAB的应用。《MATLAB在数学建模中的应用》的4位作者均具有实际的数学建模参赛经历和竞赛指导经验。书中内容完全是根据数学建模竞赛的需要而编排的，涵盖了绝大部分数学建模问题的MATLAB求解方法。《MATLAB在数学...详情

经典好书《数学模型(第五版)》读书内容简介:93年、2003年和2011年。基于编者长期从事数学建模和数学实验教学、数学建模竞赛组织和辅导，始终关注国内外数学建模教学案例收集与研究的经验，第五版在保持前四版基本结构和风格的基础上，进行增删与修订，新增和改编的案例生动新颖、内涵丰富，接近案例总数...详情