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

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

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

经典好书《经济学中的经验建模》读书内容简介:，1934年生于英国威尔士的斯旺西，现为英国公民。他于1959年获得英国诺丁汉大学博士学位，现为美国加利福尼亚大学圣迭戈分校的荣誉经济学教授，并担任该校经济学秘书协会主席。他于1995年当选为美国艺术与科学院院士，并于2003年获诺贝尔经济学奖。</...详情

经典好书《吉林大学古籍研究所建所三十周年纪念论文集》读书内容简介:集结的论文集，内容涵盖丰富，包括甲骨文、金文考释，墓志、兵器铭文、秦汉简帛、陶文玺印研究，古籍整理与思想研究（如孔子思想的核心及其现实意义、墨家与《管子》经济伦理思想比较研究、荀子学术思想变迁考、《论语》“不以其道得之”解），以及高校学科机构研究论文...详情

经典好书《建築構成学》读书内容简介:东京工业大学名誉教授 / Atelier and I坂本一成研究室主持建筑师塚本由晴 Yoshiharu Tsukamoto东京工业大学环境·社会理工学院建筑学系教授 / Atelier Bow-Wow 主持...详情

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

经典好书《天下無双の建築学入門》读书内容简介: 作者简介详情

经典好书《南宋儒学建构》读书内容简介:依据南宋儒学的演进，呈现南宋儒学与政治的关联，阐述“洛学”成为主流之后其内部的分歧与内在冲突，探讨了朱熹时代的儒学及朱熹后时代的儒学的转型。作者简介何俊，1963年生，浙江长兴人，哲学博士。现为杭州师范大学教授、副校长，兼...详情

经典好书《近代科学的建构》读书内容简介:明扼地叙述和分析了17世纪科学革命：柏拉图主义——毕达哥拉斯主义传统以几何方式来看待自然，确信宇宙是按照数学秩序原理构建起来的；而机械论哲学则设想自然是一部巨大的机器，并试图解释现象背后所隐藏的机制。科学革命的完全实现要求解决这两种主导潮流之间的张力...详情