数理逻辑：基本原理与形式演算

李未著2008 年出版255 页ISBN：9787030200969

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

宁波文化研究工程·特色文化研究 宁式家具

陈立未著2015 年出版119 页ISBN：9787308148153

家具是中国传统器物文化的亮点，是开创有中国特色设计的宝贵资源，长期以来，传统家具中优秀的造物理论、美学法则一直为中国乃至世界的设计界提供着源源不断的设计灵感和创造活力。研究传统家具，不仅有利于文化的...