经典好书《C++程序设计(原理与实践基础篇原书第2版)/计算机科学丛书》读书内容简介:经典著作《C++程序设计：原理与实践（原书第2版）》基于新的C++11和C++14，广泛地介绍了程序设计的基本概念和技术，包括类型系统、算术运算、控制结构、错误处理等；介绍了从键盘和文件获取数值和文本数据的方法以及以图形化方式表示数值数据、文本和几何...详情

经典好书《世界园林植物与花卉百科全书》读书内容简介:是一本享有极高国际声誉的园林植物工具书，新版修订后内容更全面、更丰富、更具权威性和实用性。独具特色的植物类目：《植物类目》部分书目眉设计新颖，清晰的标题和不同的色板可帮助读者迅速找到自己所查找的植物；按照形态大小、观赏季节和色彩排列的植物，以及极具观...详情

经典好书《计算机科学中的数学：信息与智能时代的必修课》读书内容简介:大学管理科学与工程系。现就职于中国电子科技集团公司第三十八研究所，曾游学美国，数据挖掘与大数据分析研究经验颇丰，在相关领域重要国际期刊及会议发表论文数篇。译有《高可用MySQL》（第1版和第2版）《R高性能编程》《大数据猩球：海量数据处理实践指南》《...详情

经典好书《诠释学与人文科学》读书内容简介:这本书中，利科提出了其现象学诠释学的观点，提出了这一观点与其传统前辈们之间的关系及其对社会科学的重要意义。本书分为三个部分：第一部分考察了诠释学的历史、核心主题及其所面临的突出问题。利科在第二部分提出了自己当前的建设性观点。文本概念的提出构成了语言和...详情

经典好书《宗教与科学》读书内容简介:素是一个非宗教主义者，不信上帝，对宗教神学持否定态度。他在这本书中，历述了自文艺复兴以来，科学与神学的冲突和斗争，每次斗争的结局，总是科学战胜神学。宗教虽然始终不渝地为神学辩护，但它在科学进步面前，不得不一步一步退却，为上帝存在的论证不得不一次又一次...详情

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

经典好书《唐代科举与文学》读书内容简介:研究的课题，是想尝试运用一种方法。这种言法，就是试图通过史学与文学的相互渗透或沟通，掇拾古人在历史记载、文学描写中的有关社会史料，做综合的考察，来研究唐代士子的生活道路、思维方式和心理状态，并努力重视当时部分的时代风貌和社会习俗，以作为文化整体研究的...详情

经典好书《唐代科举与文学》读书内容简介:代的文学结合在一起，作为研究的课题，是想尝试运用一种方法。这种方法，就是试图通过史学与文学的相互渗透或沟通，掇拾古人在历史记载、文学描写中的有关社会史料，做综合的考察，来研究唐代士子的生活道路、思维方式和心理状态，并努力重视当时部分的时代风貌和社会习...详情

经典好书《强化学习/智能科学与技术丛书》读书内容简介:学习中各领域的基本理论和新进展，内容包括：MDP、动态规划、蒙特卡罗方法、批处理强化学习、TD学习、Q学习、策略迭代的小二乘法、迁移学习、贝叶斯强化学习、、一阶逻辑MDP、层次式强化学习、演化计算、预测性定义状态表示、去中心化的部分可观察MDP、博弈...详情

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