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

经典好书《智能建筑控制与节能》读书内容简介:高速发展，大大推进了建筑技术水平的提高。伴随着计算机的普及和信息产业的发展，在建筑业出现了智能建筑，而随着人们生活水平的不断提高，智能建筑得到了迅猛发展，并已成为21世纪建筑业的发展主流。它给传统建筑加上了“灵敏”的神经系统和“聪明”的头脑，提高了人...详情

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

经典好书《互联网金融时代消费信贷评分建模与应用》读书内容简介:亚大学，复旦大学、台湾大学EMBA，曾任职于香港维信理财公司、台湾台北富邦银行、台湾中国信托商业银行、澳商澳盛银行及台湾台新银行等机构；兼任台湾金融研训院特约讲师、VISA中国区兼职顾问。具备台湾银行业消费金融风险管理与大陆小贷、P2P...详情

经典好书《相关性搜索：利用Solr与Elasticsearch创建智能应用》读书内容简介:earch创建智能应用》揭开了相关性搜索的神秘面纱，告诉大家如何将 Elasticsearch与 Solr这样的搜索引擎作为可编程的相关性框架，从而表达业务排名规则。从这《相关性搜索：利用Solr与Elasticsearch创建智能应用》中你可学会如...详情

经典好书《近500年来福建的家族社会与文化》读书内容简介:首批全国52位“人文社会科学跨世纪优秀人才”培养工程入选者。现任厦门大学人文与艺术学部主任、厦门大学国学研究院常务副院长、教授，兼任中国经济史学会副会长、中国明史学会副会长、中国商业史学会副会长、中国人类学与民族学研究会副会长等职务。主要著作有《清代...详情

经典好书《破碎与重建》读书内容简介:37-1945抗战时期的中国文学研究)/学术月刊丛书》是一部文学研究论文集，汇集论文十余篇，均以抗日战争时期的中国文学为研究对象。书稿精选新世纪以来《学术月刊》发表的相关学术文章，作者包括郜元宝、王丽丽、吴中杰等十数位当代文学研究方面的专家，对同时期...详情

经典好书《身体，记忆与建筑》读书内容简介:理》的后半部，我们讨论了“身体一图像”理论的私人暗示和公共暗示之间的关系，回顾了身体运动的主题，并继续讨论建筑形式和形式关系的特殊语汇。这几章意味着将建筑实例与我们早期的理论主旨有机地联系在一起，有助于读者理解，也是我们在最后一章中尝试着更明确地进行...详情

经典好书《重建时代的人与社会》读书内容简介:尔·曼海姆的重要社会学著作之一。作者在书中对人格的塑造和社会组织范围的失调进行了深入研究。他站在欧洲大陆和盎格鲁一撒克逊的角度讨论了自由主义和民主的危机，他指出：现代社会失调，出现文化危机的主要原因在于自由放任原则和无计划调节原则间的冲突。他认为，没...详情

经典好书《建筑、空间与流动性》读书内容简介:历、实践和设计思想，他成功地将日语中的余韵和暧昧性运用到了建筑设计中，创造了一种能带给人自由感觉的建筑作品。他主张让建筑成为一种自然的存在，用扎根于场所和土地之上的“流动性的建筑”让人类回归自由。是建筑师、设计师、城市规划师案头必备的设计启迪书。</...详情