- 作 者：（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译
- 出 版 社：北京：科学技术文献出版社
- 出版年份：1991
- ISBN：7502314830
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
13
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 代数系统 1
1.1. 集，函数，运算.表示法 1
引论 3
1.2. 代数概念.基本代数 6
1.3. 二元关系，其表示法和性质 10
1.4. 格 19
1.5. 模型.关系代数 27
1.6. 集论的公理体系.集的最短表达式 37
1.7. 习题和练习 50
注释 56
2.1. 命题逻辑 58
第二章 数理逻辑 58
2.2. 布尔函数在析取范式类中的极小化 62
2.3. 完全性 70
2.4. 逻辑线路的综合 80
2.5. 命题演算 98
2.6. 谓词演算 106
2.7. 习题和练习 111
注释 122
第三章 图和模型图 124
3.1. 赋权图及其矩阵表示 124
3.2. 图的连通性和强连通性 132
3.3. 回路 143
3.4. 图和模型图的微分 148
3.5. 稳定性，覆盖，对组合 160
3.6. 图的嵌入 174
3.7. 图顶点和边的着色.边性表征 192
3.8. 图着色的表征 205
3.9. 习题和练习 221
注释 225
第四章 形式语法和自动机理论 226
4.1. 形式语法 226
4.2. 自动机设计的基本阶段 234
4.3. 操作自动机的算术原理 243
4.4. 设计的算法阶段 255
4.5. 自动机的抽象设计 265
4.6. 内部状态的编码 282
4.7. 自动机的结构设计 292
4.8. 自动机系统的佩特里(Petri)网模拟 318
4.9. 习题和练习 334
注释 341
第五章 应用算法理论.特征分析 342
5.1. 特征分析原则.组合算法的建立 342
5.2. 模型图的偏序特征 358
5.3. 逻辑线路输出端连通性的特征.结构极小化 372
5.4. 转移图分解成部份笛卡尔乘积的特征 396
5.5. 数据在电子计算机存储器中最佳存贮分配的特点和方法 409
5.6. 习题和练习 424
注释 425
参考文献 426