逻辑代数PDF格式文档图书下载
图书介绍:
图书介绍
第一章 逻辑代数的基本知识 1
1 基本概念 1
2 运算规律 7
3 基本公式 15
4 逻辑式的转换定理 18
5 逻辑函数的完备性 26
第二章 逻辑式的范式和标准范式 32
1 逻辑式的范式 32
2 逻辑式的标准范式 35
3 标准范式定理 43
第三章 逻辑式化简 50
1 最简式概念 50
2 公式化简法 54
3 化简理论 62
4 图域化简法(几何化简法) 73
第四章 逻辑方程 86
1 基本概念 86
2 逻辑方程的解法 89
3 逻辑方程组的求解 97
4 逻辑方程的图域解法 102
第五章 开关代数 108
1 开关与开关线路 108
2 逻辑函数与逻辑线路 116
3 逻辑函数的完备性分析 131
第六章 命题真值代数 138
1 基本概念 138
2 蕴涵式与双蕴涵式 148
3 全称命题与特称命题 157
第七章 命题逻辑 166
1 推理 166
2 基本的演绎推理系统P 169
3 斜式证明与形式定理 174
4 扩大的演绎推理系统P* 184
5 数学归纳法 193
6 证明综述 204
第八章 一般布尔代数 211
1 布尔代数 211
2 集合代数 219
3 命题代数 224
4 事件代数 226
结束语 232
参考文献 234
相关书籍
- 《线性代数》上海大学数学系编 2012
- 《逻辑代数》黄根民编 1981
- 《逻辑代数入门》陈德勤编 1988
- 《集合与逻辑代数初步》王杰观编著 1981
- 《逻辑代数》廖祖纬,张锦文编著 1984
- 《逻辑代数学习手册》廖祖伟编 1984
- 《集合与逻辑代数》肖鹏一编 1983
- 《逻辑代数基础及其应用》周博元,安清波编著 1983
- 《逻辑代数 讲义》驻马店师范学院编 1980
- 《逻辑代数》衡阳师专数学科编 1979
作者其它书籍
- 《逻辑代数》廖祖纬,张锦文编著 1984
- 《工程数学方法》廖祖纬编 1988
- 《工程数学学习指导书》廖祖纬编 1993
- 《广播电视大学教材评估方法》廖祖纬主编 1996
- 《工程数学学习指导书》廖祖纬,魏振军等编 1993
- 《工程数学学习指导书》廖祖纬等编 1992
- 《集合论浅说》张锦文编著 1984
- 《离散数学引论》张锦文,沈瑞民编著 1986
- 《数理和应用逻辑文集》张锦文主编 1992
- 《集合论学习手册》张锦文编 1984
出版社其它书籍
- 《Townsend Press 英语词汇学习丛书 英语词汇入门 第2版》(美)纳代尔(Nadell.J)等编著 2018
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《THE PRESS AND AMERICA》 2222
- 《FREEDOM OF THE PRESS》ERIC BARENDT 2009
- 《FREEDOM OF THE PRESS》ROB EDELMAN 2006
- 《FREEDOM OF THE PRESS》DAVID L.GEBERT 2005
- 《Racism and the press》Teun A.van Dijk 2016