数理逻辑引论与归结原理

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

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

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

成功赴台投资 台湾地区投资法规与实务

本书是一本指导大陆投资人去台投资的图书。详细介绍了去台投资应注意的事项。这也是国内第一本全面介绍关于赴台投资的法规与实务的著作。...

守道1957 1957年中国哲学史座谈会实录与反思

本书主旨是对1957年1月在北京大学哲学系举办的中国哲学史座谈会的实录和反思。本次会议是在双百方针前提下召开，围绕中国哲学史的研究对象和范围、如何评价唯心主义以及如何继承中国哲学的遗产等问题展开，是...

数学逻辑与集合论

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

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

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

数字电路与逻辑设计

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

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

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

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

数字电路与逻辑设计

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