数理逻辑引论与归结原理

本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...

儿童诗性逻辑与中国儿童文化建设

儿童文化根植于儿童世界，儿童文化与儿童行为发展高度契合，互为发展根基和建设归宿。既研究儿童文化的发展流变、儿童行为发展的内涵特点，寻求两者之间的依存关系，又透视剖析中国当下儿童文化建设的种种现象与成...

攻克英语写作：与美国学生同步高效学写作

数学逻辑与集合论

丛书精选了香港、台湾与大陆三地人气室内设计师的海量最新家居案例，把这些代表当今设计界最高水平的作品按时下流行的风格分门别类进行编排，方便读者检索查找。丛书分为轻奢风范、简约美学、中式禅韵、乡村格...

中国金融监管改革 现实动因与理论逻辑

本书研究金融监管改革，重点是改革的逻辑，或者说，是哪些因素的变化导致了必须推进金融监管改革？改革的逻辑清楚了，改革方向就不会出现趋势性错误。本书研究金融改革的逻辑重于研究金融改革的具体方案。在研究金融...

数字电路与逻辑设计

本教材内容包括数制与编码；逻辑代数与逻辑函数；集成逻辑门电路；组合逻辑电路；触发器；时序逻辑电路；存储器；数模与模数转换；波形的产生及整形；VHDL硬件描述语言介绍。编写中注意到讲述经典方法时，以小规模集......

企业改革的演进与逻辑=EVOLUTIN AND LOGIC OF ENTERPSISE REFRM

冲突与和合 课程改革的人性逻辑

本书通过对物性逻辑的批判，提出课程改革的“人性逻辑”，以人性为分析与建构课程改革理论的逻辑起点，凸显了“人”的主体因素，旨在寻求符合教育自身规律的内在逻辑。这是对课程改革逻辑的新的构造，具有理论创新价...

数字电路与逻辑设计

本书按照数字系统的发展历程，在简要介绍小规模集成电路(门电路) 的基础上，重点介绍中规模集成电路(组合逻辑电路、时序逻辑电路)、大规模集成电路(存储器电路、ADC、DAC等电路)的功能特点、分析与设计方法，以...

价值投资的逻辑与中国实践

证券投资研究要解决实际问题：应该选择什么样的证券？对于特定的证券，究竟是应该买入、卖出还是持有？这类问题可以归纳成四个要素：证券、价格、时间与人。本书目标就是回答上述包含四个要素的问题。因此，本书主要.....