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

经典好书《控制力：麻省理工学院的经典理论》读书内容简介:数学家诺伯特•维纳的代表作。在《控制力：麻省理工学院的经典理论》中，作者为研究社会提供了一个新方法和一个新观点，还为我们描述出一个未来社会的新景样，并警示在社会中将会出现的问题及其解决方法。维纳在书为读者阐述了两个观点，一是在目前的社会中人们只能通过...详情

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

经典好书《深入理解机器学习：从原理到算法》读书内容简介:Shwartz和加拿大滑铁卢大学教授Shai BenDavid的专著《Understanding Machine Learning:From Theory to Algorithms》是机器学习领域一部具有里程碑意义的著作。近几年，...详情

经典好书《历史理论与史学理论》读书内容简介:历史理论和史学理论的选集。这里的历史理论和史学理论，其涵义大致相当于当今西方通常所谓的“思辨的历史哲学”和“分析的历史哲学”，以及我国传统意义上的“史论”。全书选取51位历史学家，以出生年代为序，分别介绍其生平、主张，并节选其 代表性著作，是相关领域...详情

经典好书《科学管理原理》读书内容简介:，其实内涵丰富，并非能被一个时代完全吸收。只有亲自翻阅大师的著作，才能领会管理的真谛；也只有实践大理由的理论，才能实现管理的目标——“使雇主的财富最大化，同时也使每一位雇员的财富最大化。”撰写本文有以下目的：第一，通过一系...详情

经典好书《历史理论与史学理论》读书内容简介:编纂一部近现代西方有关历史理论和史学理论的选集。这里的历史理论和史学理论，其涵义大致相当于当今西方通常所谓的“思辨的历史哲学”和“分析的历史哲学”以及我国传统意义上的“史论”。经过和几位同志磋商之后，我们都认为这对我国历史学界是一项有意义的工作，遂决...详情

经典好书《现象学，阐释学，接受理论》读书内容简介:作品简明扼要地评介了20世纪后半期的各种理论流派，包括现象学，阐释学，接受理论，结构主义，后结构主义，精神分析和女权主义等。为读者勾勒出当代西方学理论的主要脉络。本书是西方高等学校生学习文学批评和理论的必读著作，清晰易懂，被誉为批评理论的“普及本”。...详情

经典好书《近代物理科学的形而上学基础》读书内容简介: Burtt．1892—1989)，美国哲学家、历史学家。哥伦比亚大学哲学博士，康奈尔大学哲学教授。其主要著作有：《近代物理科学的形而上学基础》(The MetaphysicalFoundations ofModem Physical Sconce：...详情

经典好书《自然哲学之数学原理》读书内容简介:3月31日）爵士，英国皇家学会会长，英国著名的物理学家，百科全书式的“全才”，著有《自然哲学的数学原理》、《光学》。他在1687年发表的论文《自然定律》里，对万有引力和三大运动定律进行了描述。这些描述奠定了此后三个世纪里物理世界的科学观...详情