周生明，廖元秀编著2010 年出版237 页ISBN：9787030264411
本书是普通高校本科计算机专业各方向及电子、信息科学等专业的通用教材。全书共有六章，主要内容包括命题逻辑、谓词逻辑、集合运算、关系、代数系统、群在编码理论中的应用、布尔代数、图论等。本书以知识点...
廖元秀，周生明编著2017 年出版274 页ISBN：9787030535665
全书共分六章，分别是绪论、命题逻辑、谓词逻辑、集合论、代数系统和图论。主要内容有离散量与离散数学、命题公式演算、命题逻辑的推理理论、归结演绎推理、谓词公式演算、谓词公式的解释、自然演绎推理、集...
周生明等编著2013 年出版188 页ISBN：9787560632193
本书的主要内容包括：集成电路的背景知识，全定制集成电路设计的主要特点和流程、MOS器件的基本工作原理、半导体工艺基础知识、集成电路版图基本知识、ZENI工具的使用方法、ZENI工具的数字电路和模拟电路的设...
