形式化
排序：
逻辑的引擎
湖南科学技术出版社 · 2018
本书是美国计算机科学先驱、逻辑学家马丁·戴维斯的一部科学思想史通俗读物，英文原名为 Engines of Logic。作者在书中提出一个核心判断：计算机本质上是逻辑机器，其电路所实现的运算，是几个世纪以来逻辑学家思想的结晶与物化。 全书以人物为线索，串起从莱布尼茨到图灵的思想谱系：莱布尼茨梦想有一种…
第三方评估偏差：基于政府购买社工服务项目的探讨
社会科学文献出版社 · 2025
作为监督社工服务项目的外部评价机制，第三方评估以独立、客观、公正、专业为核心的特质而为社会各界所认可。但第三方评估也难以避免形式化、功利化、片面化等评估偏差问题。第三方评估的制度缺陷使评估偏差问题难以避免，但评估偏差的程度取决于第三方评估机构的具体行动策略。应当从宏观社会系统和微观法人行动者两个角度…