数学逻辑（第2版）

图书标准信息

• 作者 毛法尧 编著
• 出版社 高等教育出版社
• 出版时间 2008-03
• 版次 3
• ISBN 9787040232202
• 定价 29.30元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 363页
• 字数 530千字

【内容简介】

本书第一版是“教育部面向21世纪教学内容和课程体系改革”的研究成果，被列入教育部面向21世纪课程教材、“九五”国家级重点教材。第二版被列为“十一五”国家级重点教材。

  本书着重介绍数字系统逻辑设计的基本理论和方法，同时对数字技术的新成果和新方法作了适当介绍。

  本书系统地阐述了以下内容：数制与编码，逻辑代数基础，组合逻辑电路和时序逻辑电路的分析与设计，数字系统设计，自动逻辑综合，逻辑模拟与测试，硬件描述语言Verilog HDL，以及逻辑器件。

  本书可作为计算机类、电子类、自动化类相关专业的教材，也可作为有关专业工程技术人员的参考书。

【作者简介】

毛法尧教授，曾任华中科技大学教学指导委员会委员，计算机科学与工程系副主任，中国计算机教育专业委员会委员、本科学组副组长，全国高等学校计算机教育研究会理事、常务理事、副理事长兼学术委员会主任等职。现任华中科技大学文华学院信息科学与技术学部常务副主任，华

【目录】

第一章　数制与编码

　1.1　进位计数制

  　1.1.1　十进制数的表示

　  1.1.2　二进制数的表示

　  1.1.3　其他进制数的表示

　1.2  数制转换

  　1.2.1　二进制数与十进制数的转换

　  1.2.2　八进制数、十六进制数与二进制数的转换

　1.3  带符号数的代码表示

　  1.3.1　真值与机器数

　  1.3.2　原码

　  1.3.3　反码

　  1.3.4　补码

　  1.3.5　机器数的加、减运算

　  1.3.6　十进制数的补数

　1.4　数的定点表示和浮点表示

　  1.4.1　数的定点表示

　  1.4.2　数的浮点表示

　1.5　数码和字符的代码表示

　  1.5.1　十进制数的二进制编码

　  1.5.2　可靠性编码

　  1.5.3　字符代码

　小结

　习题一

第二章　逻辑代数基础

　2.1　逻辑代数的基本概念

  　2.1.1　逻辑变量

　  2.1.2　逻辑运算

　  2.1.3　逻辑函数

  2.2　逻辑代数的公理、定理及规则

    2.2.1　逻辑代数的公理和基本定理

    2.2.2　逻辑代数的重要规则

  2.3　逻辑函数表达式的形式与转换

    2.3.1　逻辑函数的表示法

    2.3.2　逻辑函数表达式的基本形式

    2.3.3　逻辑函数表达式的标准形式

    2.3.4　逻辑函数表达式的转换

  2.4　逻辑函数的化简

    2.4.1　代数化简法

    2.4.2　卡诺图化简法

    2.4.3　逻辑函数化简中有关问题的考虑

  小结

  习题二

第三章　组合逻辑电路

  3.1　逻辑门电路

    3.1.1　简单逻辑门电路

    3.1.2　复合逻辑门电路

  3.2　逻辑函数的实现

    3.2.1　用“与非”门实现逻辑函数

    3.2.2　用“或非”门实现逻辑函数

    3.2.3　用“与或非”门实现逻辑函数

    3.2.4　用“异或”门实现逻辑函数

  3.3　组合逻辑电路的分析

  3.4　组合逻辑电路的设计

    3.4.1　单输出组合逻辑电路的设计

    3.4.2　多输出组合逻辑电路的设计

  3.5　组合逻辑电路的竞争与冒险

    3.5.1　竞争与冒险的产生

    3.5.2　判别冒险

……

第四章  同步时序逻辑电路

第五章  异步时序逻辑电路

第六章  采用中、大规模集成电路的逻辑设计

第七章  数字系统设计

第八章  自动逻辑综合

第九章  逻辑模拟与测试

第十章  Verilog HDL语言

第十一章  逻辑器件

参考文献