会展成长的逻辑 文化、创意与预警 【文化科学教育体育】

本书分析会展企业发展过程中存在困难的基础上，详细分析了中小会展企业品牌建设中文化创意的影响作用。通过对会展文化创意的预警进行分析，阐述会展中文化创意的知识产权风险、种类、如何预防等方面进行分析，提...

爱问熊·德国启蒙益智金奖丛书 逻辑思维 【文化科学教育体育】

本丛书秉承德国幼教专家以幼儿为本位、以满足幼儿自然学习需求为核心的教育理念，辅以爱问熊等虚拟形象，帮助幼儿轻松进入启智空间。本书教会孩子逻辑思维。...

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

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

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

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

受苦人的讲述 骥村历史与一种文明的逻辑 【政治法律】

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

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

执行的逻辑 【哲学宗教】

本书是一本关于工作执行的书籍。其主要内容是一套简单易懂却又富有逻辑的工作执行方法。本书共分为七个章节，首先阐述了逻辑思考对工作的重要性，并提出了一套科学的工作方法；然后又在各章节中逐一讲解这套工作...

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

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

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

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

人文科学的逻辑 【哲学宗教】

作者在本书中分五章探讨了人文科学的对象、自然与人文的不同感知方式、自然概念与人文概念的差异性、文化形式、文化价值与现代文化悲剧等重大问题，旨在从其“符号形式的哲学”出发解答人文与人文科学的可能...