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

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

迈向法治型选举的历史逻辑 中国当代选举制度的转型及选举程序研究

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

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

企业生命力 商业逻辑梳理手册

本书是一本全自动商业模式设计手册，他可以帮助创业家与投资家实现自己的商业梦想，颠覆所有存在的，超越所有认为的，因为他只属于能够看清未来的挑战者。作为一本品牌与商业逻辑梳理辅导书，本书主要采用了PPT的设...

信息技术与应用导论

本书围绕信息技术的核心技术——计算机技术编写，全书共7章，信息技术涵盖的面非常广泛，本书内容既强调信息技术的基本理论和基本知识，又反映信息技术之新技术、新方法。...

社会语言学导论

本书从全新的角度介绍和分析社会语言学这门边缘学科，全书分为三章十节，分别从微观社会语言学、交际社会语言学、宏观社会语言学三方面进行阐述。...

粒子物理导论 翻译版 原书第2版

政治社会学导论

本书是国际知名的社会学家安东尼·奥罗姆的代表作之一，也是政治社会学领域的经典之作。

大学生综合素养导论

本书提出当代大学生必须具有的几个基本素养，本书的基调主张：人是目的，不是手段，这是现代人综合素养的脊梁。

女性主义文学批评导论

本书介绍了各种女性主义批评的理论的主张的主要观点，阐述女性主义文学批评的基本原则。