- 作 者：贵阳师范学院数学系，万县师范专科学校数学系编
- 出 版 社：贵阳师范学院数学系
- 出版年份：1983
- ISBN：
- 标注页数：289 页
- PDF页数：295 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源295 ≥289页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 二进制 2
1.1 常用十进计数制及其推广 2
1.2 二进制数 4
1.3 八进制数 7
1.4 化十进制数为二进制数 9
1.5 关于数制转换的几个定理 14
1.6 二进制数的算术运算 21
1.7 8—4—2—1编码 定点数浮点数 24
习题一 31
第二章 逻辑代数的基本理论 34
2.1 集合及集合代数 34
2.2 逻辑代数的定义 44
2.3 命题及其运算 49
2.4 逻辑函数与逻辑式 57
2.5 命题运算的规律和命题代数 61
2.6 逻辑代数的三个基本定理和常用等值公式 64
2.7 逻辑函数的完备性 70
2.8 谓词和量词简介 75
习题二 85
第三章 逻辑式的化简 92
3.1 逻辑式的标准式和范式 92
32公式化简法 103
3.3 从范式出发化简逻辑式 106
3.4 真值图化简法 119
习题三 126
第四章 逻辑代数的应用 130
4.1 逻辑推理 130
4.2 逻辑方程 138
4.3 逻辑设计 147
习题四 169
第五章 电子计算机简介 178
5.1 电子计算机的发展概况和应用简介 178
5.2 电子计算机的组成部分及其功能 183
5.3 电子计算机的解题过程 软件概述 189
习题五 199
第六章 BASIC算法语言 201
6.1 引言 201
6.2 基本符号和基本概念 204
6.3 基本语句 213
6.4 分支程序 228
6.5 循环程序 236
6.6 子程序 245
6.7 程序的组织 249
习题六 253
附录一 格与布尔代数 258
1 半序关系与半序集 258
2 上界与下界 263
3 格 265
4 分配格 271
5 布尔代数 274
参考练习 277
附录二 通用真值框 280