丁磊，江志文，张海笑主编2012 年出版184 页ISBN：9787560628523
本实验指导书是针对《数字逻辑与EDA设计》的配套用书，内容包括满足实验需求的实验箱、基于实验箱的数字逻辑基本实验、基于实验箱的数字逻辑综合实验、利用EDA工具进行设计、仿真及在实验箱上进行严整的基本...
王国俊著2003 年出版216 页ISBN：7030115791
本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
沈琪芳，应玲素著2009 年出版181 页ISBN：9787308070140
儿童文化根植于儿童世界，儿童文化与儿童行为发展高度契合，互为发展根基和建设归宿。既研究儿童文化的发展流变、儿童行为发展的内涵特点，寻求两者之间的依存关系，又透视剖析中国当下儿童文化建设的种种现象与成...
刘猛著2014 年出版274 页ISBN：9787565315817
本书既有独到的理论见解，又有具体典型的实际案例，开启了一个观察、考量、建设警民关系的崭新视角。本书共包括六章内容，分别为第一章绪论、第二章警民关系及其博弈论解析、第三章利益博弈的“囚徒困境”、第四...
周琦著2018 年出版88 页ISBN：9787569023329
本书为逻辑学研究学术专著，综合运用了逻辑、哲学、科学史与科学哲学（科学方法论）、法学等多学科或跨学科的工具和研究方法，相对全面地分析了规范逻辑，对主要研究规范问题的规范逻辑有比较客观和新颖的多维考察。...
袁长瑞著2006 年出版333 页ISBN：7535744206
本书欢迎加入袁大头的推理游戏时间，这里有114则精彩的推理谜题等你来挑战。每道题目都经过精心安排，除了设计巧妙，保证让你绞尽脑汁之外，故事主角的名字也充满了谐音的趣味，让解谜推理的过程更有乐趣。...
