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

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

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

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

经典好书《数学建模》读书内容简介:间架起一座桥梁。本书介绍了速个建模过程的原理，通过本书的学习，学生将有机会在以下建模活动中亲身实践，增强解决问题的能力；设计创意模型和经验模型、模型分析以及模型研究。 本书特点 论证了离散动态系统、离散优化和仿真等技术如何促进现代应用数学的发展 强调...详情