当代中国逻辑学研究 1949-2009 【哲学宗教】

本书侧重学术思想和学术观点的发展历史、发展过程，全面系统、综合地梳理和总结了中国逻辑学在当代（特别是新中国成立60年以来）思想理论体系发生、发展和演变的历史过程，认真总结所取得的巨大成绩、存在问题及主...

逻辑学 修订版 【哲学宗教】

本书主要是供高等学校使用的逻辑学教材。该书选材新颖，即有逻辑基本理论，又有批判性思维tdyk。在逻辑基本理论方面，系统地介绍了概念、命题、推理、逻辑规律、逻辑方法、逻辑谬误等。在批判性思维方面，概括介绍...

语言、逻辑与文化 【语言文字】

本文集是作者从事逻辑学教学和研究以来的关于逻辑和语言的思考，对语言影响思维，思维进而影响逻辑类型进行了一些探索和尝试，特别是对被西方学者称之为过程语言的汉语以及被称之为关联性思维的中国型思维及其对...

江苏农村政治文明发展报告 2012 【其他书籍】

数字逻辑 第2版 【工业技术】

本书是计算机科学与技术、软件工程等信息专业本科“数字逻辑”课程教材。 全书共分为九章，主要内容有：数字逻辑的基本概念、基本逻辑运算电路、逻辑代数和逻辑函数的化简、组合逻辑电路、触发器、时序逻辑电...

高阶逻辑辅助证明系统 【工业技术】

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

中国生态文明研究与促进会 生态文明重在践行第二届（珠海）年会资料汇编 【环境安全】

中国生态文明研究与促进会的成立，为深化生态文明的理论研究和推动生态文明建设提供了平台和载体。他鼓励中国生态文明研究与促进会多出高质量高水平的研究成果，为各级党政领导科学决策提供可靠依据，充分发挥支...

我国生态文明发展战略研究 下 【环境安全】

我国生态文明发展战略研究 上 【环境安全】

公民生态文明知识读本 【哲学宗教】

本书用通俗的语言、具体的数据信息和生动的案例向公众讲解生态文明的知识，融入浙江特色，采用图文并茂的彩色读物形式。