马克思主义公正观的逻辑谱系 方法论特点及当代意义研究

逻辑公式的可满足性判定 方法、工具及应用

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

中国重点大学政策的历史逻辑与制度分析

自20世纪中叶以来，重点大学政策已经成为一项影响中国高等教育结构与发展格局的重要教育政策。本书以新制度主义为视角，以分析政策主体的权力结构特征和权力分配形式为要旨，探讨重点大学政策的政策特征与制度逻...

集体林权变革的逻辑：改革开放以来闽中溪乡的表达

本书是一部对集体林权变革进行政治社会学解读的著作。它选择福建中部地区的溪乡作为研究单元，以集体林权变革为载体和切入点，运用“国家--社会”关系理论，综合政策学、社会学和经济学科知识进行探索。...

现代西方美学二十讲

本书分二十讲系统评介了现代西方美学的各主要流派：表现主义美学、直觉主义美学、自然主义美学、精神分析美学、形式主义美学、现象学美学、存在主义美学等。对其代表人物、主要著作的观点作了全面评述。...

制度与逻辑 刑事诉讼机制的转型分析

本书以现当代美国家庭结构、精神、价值的变迁；探讨在当今这样一个激烈变革和令人迷茫的年代、尤其是美国在经历了“9.11”恐怖主义袭击之后的这个一个缺乏安全感的时代，一个稳固、成功的家庭对每个人生命的重...

庄子二十讲

本文以选编为基本组织形式，以“德性”的标准为基本路径，将现当代著名学人（如徐复观、梁漱溟、冯友兰等）有关庄子思想的演讲和言论集中起来，深入挖掘庄子的思想和精神内涵，如庄子的生平、庄子的伦理思想、庄子的.....

佛教二十讲

本书为日本著名的佛教学家梅原猛对日本学生的演讲。本书用通俗易懂的语言、生动的现实例证和流畅的文笔，论述了宗教与道德、科学及文明的关系，佛陀的人生和思想，大乘佛教的基本原理和精神，现实生活及人生与佛教...

资本主义经济增长的逻辑 马克思经济增长理论的现代阐释

本书在一个相对统一的数学模型中对马克思主义和新古典主义的经济增长理论进行了比较，对马克思主义经济增长模型的理论逻辑和优点做出了比较清晰的概括和说明。...

中国化马克思主义执政理论创新与发展的现实逻辑

本书从党的执政方略、执政基础、执政体制、执政方式、执政资源、执政环境等角度深入研究中国化马克思主义执政理论，总结执政规律。