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

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

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

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

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

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

经典好书《当代数学精英——菲尔兹奖得主及其建树与见解（第三版）》读书内容简介:。1956年至今一直在北京航空航天大学从事数学教育和研究工作。先后为大学生、研究生主讲高等数学、工程数学、计算几何等课程。由于教书育人成绩卓著、被学生誉为"智慧的开拓者、灵魂的工程师"，北京航空航天大学授予"教书育人标兵"称号，并获优秀教学成果二等奖...详情

经典好书《直到我们建起了耶路撒冷》读书内容简介:过程中，三位不同背景的建筑师参与建造耶路撒冷新城的往事。脾气暴躁的天才、德国犹太建筑师埃里希·门德尔松，刚从纳粹手下逃离欧洲，他必须在建造时考虑中东复杂的新现实。肖肯花园、巴勒斯坦银行、希伯来大学出自他手。奥斯汀·哈里森是...详情

经典好书《质性研究写起来(沃尔科特给研究者的建议第3版)》读书内容简介:尔科特给研究者的建议第3版)》是一本指导研究者进行质性研究写作的工具书。该书旨在教会读者如何将收集到的质性研究资料进行归纳、整理，并将之转化成学术成果。书中根据作者丰富的切身经验，对写作的各个步骤都展开了详尽的阐释，指出了写作中特别需要...详情

经典好书《現代建築與設計之起源》读书内容简介:rces）一詞說明一條小溪，之後流進大河，最後，就我們的例子來說，就是注入1930年代的國際風格↗這片汪洋。是否波美托斯（Prometheus）常和不知名的車輪發明者*扮演著起源中「智慧之泉」（genii fontis）的角色呢？答案是否定的；因為我...详情