张再跃，张晓如主编2013 年出版136 页ISBN：9787302331025
本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、...
赵绍成编著2015 年出版329 页ISBN：9787564341671
本书为高等学校普通逻辑教材。主要介绍了普通逻辑的基本知识和基本方法，旨在通过对这些基本知识和方法的学习，锻炼和提高学生的理论思维能力，开发学生的潜能，提高学生反驳谬误和明辨是非的能力，帮助学生学习和掌...
李小五编著2010 年出版367 页ISBN：9787306036032
本书通常的动态认知逻辑只研究智能主体对命题的认知，涉及活动与后果之间的关系，本书建立一系列逻辑，把认知对象推广到其他领域。
叶晓慧，李小珉主编2006 年出版394 页ISBN：7560936210
本书是王毓银主主编的《数字电路逻辑设计》（第三版）配套的习题解答，作为教师从事该课程教学的辅助及学生学习的辅导用书。编者对每章按知识要点、重点与难点、例题精选、习题解答的顺序编写。...
潘尔慧，孟光伟著2007 年出版123 页ISBN：7501955956
视觉传达是艺术设计专业的学生一门重要课程。本书侧重讨论广告、书籍、VI设计在编排制作中如何调动标题、说明文、图形、标志等造型因素，如何使设计产生美，使学生掌握视觉传达设计要点、理论、方法、思想。...
