《数学逻辑》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