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

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

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

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

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

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

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情

经典好书《小言黄帝内经与生命科学》读书内容简介: 作者简介详情

经典好书《科学与近代世界》读书内容简介:是一套由上海外语教育出版社奉献给全国大学生及英语爱好者的英语课外读物。该文库内容涉及西方的科技、艺术、历史、文化等诸多方面，每《科学与近代世界》均出自原文，英语纯正，内容丰富，深入浅出。读者不仅可以增加有关西方历史、文化、艺术、科技等方面的知识，更能...详情

经典好书《永恒的图灵：20位科学家对图灵思想的解构与超越》读书内容简介:er）本书付梓前不幸逝世。生前为利兹大学数理逻辑教授，欧洲“可计算性学会”主席，“图灵百年委员会”主席。他主编的《Alan Turing：His Work and Impact》一书曾荣获2013年美国专业与学术杰出出版奖...详情