丁磊，江志文，张海笑主编2012 年出版184 页ISBN：9787560628523
本实验指导书是针对《数字逻辑与EDA设计》的配套用书，内容包括满足实验需求的实验箱、基于实验箱的数字逻辑基本实验、基于实验箱的数字逻辑综合实验、利用EDA工具进行设计、仿真及在实验箱上进行严整的基本...
（瑞典）奥尔伍德等著，王维贤等译2009 年出版233 页ISBN：9787301146170
本书是专为语言学学者而编写的逻辑学教材，涉及经典的命题逻辑和谓词逻辑、模态逻辑、内涵逻辑和范畴语法，还涉及自然语言的逻辑分析方法、自然推理系统、语用分析方法等逻辑方法，最后一章讨论了语言逻辑和语言...
许序修著2017 年出版589 页ISBN：9787561566053
分为上下两编。上编“教育观察与感悟”是作者通过敏锐的教育观察对教育发展、教育自信、教育生态等当代教育领域众多重点、热点问题的感悟。下编“教学探索与实践”是作者对语文教学方法、语文课程改革、语...
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
王国俊著2003 年出版216 页ISBN：7030115791
本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
沈琪芳，应玲素著2009 年出版181 页ISBN：9787308070140
儿童文化根植于儿童世界，儿童文化与儿童行为发展高度契合，互为发展根基和建设归宿。既研究儿童文化的发展流变、儿童行为发展的内涵特点，寻求两者之间的依存关系，又透视剖析中国当下儿童文化建设的种种现象与成...
