![数学逻辑](https://cover.qianqiantushu.cc/9/s6a97c18.jpg)
![数学逻辑](https://cover.qianqiantushu.cc/9/s6a97c18.jpg)
数学逻辑PDF电子书下载
- 电子书积分:15 积分如何计算积分?
- 作 者:鲍家元,李跃,毛文林编著
- 出 版 社:北京:高等教育出版社
- 出版年份:1997
- ISBN:7040059479
- 页数:463 页
第一章 数制和编码 1
1.1 进位计数制 1
1.2 进位计数制的相互转换 3
1.2.1 多项式替代法 3
1.2.2 基数乘除法 4
1.2.3 任意两种进制之间的转换 6
1.2.4 直接转换法 6
1.2.5 数制转换时小数位数的确定 7
1.3 带符号数的代码表示 8
1.3.1 原码 8
1.3.2 反码 9
1.3.3 补码 9
1.3.4 十进制数的补码 9
1.4 带符号数的加、减运算 11
1.5 十进制数的常用代码 12
1.5.1 “8421”码 12
1.5.2 “2421”码 13
1.5.3 余3码 14
1.6 可靠性编码 14
1.6.1 格雷码 14
1.6.2 奇偶校验码 17
1.6.3 海明校验码 18
1.7 数的定点及浮点表示 20
1.7.1 数的定点表示法 20
1.7.2 数的浮点表示法 21
1.7.3 数的定点和浮点表示的比较 22
习题 23
2.1 逻辑代数中的几个概念 26
第二章 逻辑代数基础 26
2.2 逻辑代数的基本运算 28
2.2.1 与运算(逻辑乘) 29
2.2.2 或运算(逻辑加) 29
2.2.3 非运算(逻辑非) 30
2.3 逻辑代数的基本定理及规则 31
2.3.1 逻辑代数的基本公理 31
2.3.2 逻辑代数的基本定理 31
2.3.3 逻辑代数的基本规则 32
2.4 逻辑函数的性质 33
2.4.1 复合逻辑 34
2.4.2 逻辑函数的基本表达式 37
2.4.3 逻辑函数的标准形式 38
2.5 逻辑函数的化简 42
2.5.1 代数法化简 43
2.5.2 卡诺图法 45
2.5.3 利用无关项简化函数表达 56
2.5.4 输入无反变量的函数的化简 57
2.5.5 多输出函数的化简 61
2.5.6 Quine-Meclusley法(Q-M法) 68
习题 87
第三章 组合逻辑电路的分析和设计 91
3.1 逻辑电路设计文档标准 91
3.1.1 框图 92
3.1.2 门的符号标准 93
3.1.3 信号名和有效级 95
3.1.4 引端的有效级 96
3.1.5 引端有效级的变换 99
3.1.6 图面布局及总线 102
3.1.7 时间图 104
3.2 组合电路分析 106
3.2.1 穷举法 106
3.2.2 逻辑代数法 107
3.2.3 利用德·摩根定律分析 109
3.3 组合电路设计的一般方法 111
3.3.1 根据逻辑问题的描述写出逻辑表达式 111
3.3.2 逻辑电路的变换 115
3.4 组合电路中的竞争与险象 119
3.4.1 竞争现象 119
3.4.2 险象 120
3.4.3 险象的判别 122
3.4.4 险象的消除 124
3.5 常用MSI组合逻辑器件及其应用 127
3.5.1 译码器 127
3.5.2 编码器 136
3.5.3 三态缓冲器 141
3.5.4 多路选择器 145
3.5.5 奇偶校验电路 160
3.5.6 比较器 164
3.5.7 加法器 170
习题 180
第四章 同步时序电路的分析 185
4.1 时序电路概述 185
4.1.1 时序电路的一般形式 185
4.1.2 时序电路的分类 186
4.1.3 时序电路的描述方法 187
4.2 双稳态元件 189
4.2.1 S-R锁存器 189
4.2.2 /S-/R锁存器 191
4.2.3 带使能端的S-R锁存器 192
4.2.4 D锁存器 193
4.2.5 边沿触发D触发器 193
4.2.6 主从S-R触发器 195
4.2.7 主从J-K触发器 195
4.2.8 边沿触发JK触发器 197
4.2.9 T触发器 198
4.3 同步时序电路的分析方法 199
4.4 计数器 208
4.4.1 二进制串行计数器 209
4.4.2 二进制同步计数器 210
4.4.3 用跳越的方法实现任意模数的计数器 212
4.4.4 强置位计数器 213
4.4.5 预置位计数器 214
4.4.6 修正式计数器 216
4.4.7 MSI计数器及应用 217
4.5 寄存器 222
4.5.1 并行寄存器 222
4.5.2 移位寄存器 223
4.5.3 MSI寄存器应用举例——数据串、并行的转换 228
4.6 节拍分配器 230
4.6.1 计数型节拍分配器 231
4.6.2 移位型节拍分配器 232
4.6.3 MSI节拍分配器举例 234
习题 236
第五章 同步时序电路的设计 240
5.1 建立原始状态表 241
5.2 状态化简 245
5.2.1 完全给定同步时序电路状态表的化简 245
5.2.2 不完全给定同步时序电路状态表的化简 249
5.3 状态分配 254
5.3.1 状态编码的一般问题 254
5.3.2 相邻状态分配法 257
5.4 触发器类型的选择及激励函数和输出函数的确定 261
5.4.1 触发器类型的选择 261
5.4.2 激励函数和输出函数的确定 261
5.5 设计举例 263
习题 271
6.1 脉冲异步时序电路概述 275
第六章 异步时序电路的分析与设计 275
6.2 脉冲异步时序电路的分析 277
6.3 脉冲异步时序电路的设计 281
6.4 电平异步时序电路概述 284
6.4.1 电平异步时序电路的模型及稳态的判断 284
6.4.2 流程表及总态图 285
6.5 电平异步时序电路的分析 289
6.6 电平异步时序电路的设计 294
6.6.1 建立原始流程表 294
6.6.2 状态化简 297
6.6.3 状态分配 298
6.6.4 确定激励函数表达式 305
6.6.5 时序险象及其避免 306
6.6.6 设计举例 309
习题 316
第七章 可编程逻辑器件PLD 320
7.1 PLD概述 320
7.1.1 PLD的电路结构及分类 320
7.1.2 PLD的编程工艺及描述的逻辑规则和符号 321
7.1.3 PLD的设计过程及主要优点 323
7.2 只读存储器 324
7.2.1 ROM的内部结构 325
7.2.2 用ROM实现组合逻辑设计 327
7.2.3 常用的LSIROM 330
7.2.4 ROM容量的扩展 332
7.3 可编程逻辑阵列 334
7.4.1 组合PAL器件 335
7.4 可编程阵列逻辑 335
7.4.2 时序PAL器件 341
7.4.3 PAL器件的系列分类 347
7.4.4 PAL的时间说明 348
7.5 PLD编程语言ABEL概述 349
7.5.1 ABEL语言的一般结构 350
7.5.2 极性控制 353
7.5.3 逻辑等式与二级逻辑 354
7.5.4 字符串、常量及数字的表示 355
7.5.5 集合 356
7.5.6 时序逻辑的表示 360
7.6 PAL器件的应用 366
7.6.1 PAL器件应用的准备工作 366
7.6.2 组合PAL的应用 366
7.6.3 时序PAL器件的应用 377
7.7 通用逻辑阵列概述 385
7.7.1 GAL器件的主要特点 385
7.7.2 GAL器件的基本结构 386
7.7.3 GAL器件的命名及分类 391
习题 392
第八章 数字系统设计 394
8.1 数字系统的基本模型 394
8.1.1 信息处理单元的构成 395
8.1.2 控制单元的构成 395
8.2 数字系统设计的描述工具 396
8.2.1 方框图 397
8.2.2 定时图(时序图) 398
8.2.3 逻辑流程图 399
8.2.4 ASM图 401
8.2.5 MDS图 407
8.3 自项向下设计和自底向上的集成 410
8.3.1 自顶向下的设计 410
8.3.2 自底向上的集成 413
8.4 逻辑设计技术及应用 414
8.4.1 定义设计要求 414
8.4.2 确定系统方案及逻辑划分 417
8.4.3 控制单元的设计及实现 419
8.4.4 定时单元的设计及实现 420
8.4.5 信息处理单元的设计及实现 422
8.5 异步信号输入和系统控制器的结构 424
8.6 以MSI时序器件为核心的控制器设计 428
8.6.1 以多D触发器为核心的控制器设计 428
8.6.2 以移位寄存器为核心的控制器的设计 430
习题 434
第九章 数字系统CAD技术及其他设计技术概述 436
9.1 数字系统CAD技术概述 436
9.1.1 数字系统CAD设计的一般过程 436
9.1.2 功能描述 436
9.1.3 逻辑综合与逻辑划分 438
9.1.4 逻辑模拟 438
9.1.5 印刷电路板的布局和布线 439
9.1.6 测试 440
9.2 可测性设计 441
9.2.1 简化测试的简单措施 441
9.2.2 附加测试用逻辑改善可测性 442
9.2.3 可测性结构设计 443
9.3 容错设计 444
9.4 专用集成电路(ASIC)概述 445
9.4.1 ASIC的分类及设计 445
9.4.2 全定制专用集成电路 446
9.4.3 半定制专用集成电路 447
9.4.4 可编程门阵列 447
9.4.5 ASIC设计中的考虑 449
9.4.6 ASIC技术的发展对数字系统设计的影响 450
附录一 TTL/SSI电路的型号 452
附录二 某些TTL/MSI集成电路产品 455
附录三 某些74LS系列器件引脚图 457
附录四 某些PLD、ROM、RAM器件 460
引脚图 460
主要参考文献 462
- 《MBA大师.2020年MBAMPAMPAcc管理类联考专用辅导教材 数学考点精讲》(中国)董璞 2019
- 《2013数学奥林匹克试题集锦 走向IMO》2013年IMO中国国家集训队教练组编 2013
- 《一个数学家的辩白》(英)哈代(G.H.Hardy)著;李文林,戴宗铎,高嵘译 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
- 《数学物理方法与仿真 第3版》杨华军 2020
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《高等数学 上》东华大学应用数学系编 2019
- 《聋校义务教育实验教科书教师教学用书 数学 一年级 上》人民教育出版社,课程教材研究所,小学数学课程教材研究中心编著 2017
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《离散数学》(中国)杨文国,高华,石莹 2019
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019
- 《全国高等中医药行业“十三五”创新教材 中医药学概论》翟华强 2019
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《习近平总书记教育重要论述讲义》本书编写组 2020
- 《办好人民满意的教育 全国教育满意度调查报告》(中国)中国教育科学研究院 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《教育学考研应试宝典》徐影主编 2019
- 《语文教育教学实践探索》陈德收 2018
- 《家庭音乐素养教育》刘畅 2018