注册
个人空间
帮助中心
中国工程院
知识中心首页
科教图书首页
图书
插图
文献
工具书
全部
书名
作者
主题词
标签
目录
全文
自然科学总论
自然科学理论与方法论
自然科学机构
医药卫生
医药一般理论
医药现状与发展
医学研究方法
预防医学
工业技术
一般工业技术
矿业工程
石油工程
冶金工业
金属
自然科学
数学
信息科学与系统科学
物理学
化学
天文学
数理化
数学
力学
物理学
化学
晶体学
生物科学
生物科学的理论与方法
生物科学现状与发展
交通运输
综合运输
铁路运输
交通运输经济
农业科学
农业一般性理论
农艺学
林业
农业技术现状与发展
天文地球
天文学
地球物理学
自然地理学
气象学
测绘学
地质学
环境科学安全科学
环境科学理论
环境污染及防治
安全科学
航空航天
航空
航天
航空航天医学
航空、航天技术的研究与探索
所有分类>
收起
21018139
现代普通逻辑学
作者:赵文林|谢淑君
中图分类:
工业技术
->
无线电、电信
->
基本电子电路
学科分类:
工程学(二)
->
电子与通信技术
出版日期:1990-05
主题词:
分享到:
阅 读
收 藏
这个是隐藏的空行
内容简介
本书旨在建立一些采用人工符号而较数理逻辑更靠近日常思维习惯,但又不为自然语言的某些不确定性所限制的演算系统。
目录
第一部分 绪论
10
阅读
第一章现代普通逻辑学研究的对象和方法
11
阅读
一逻辑学研究的对象
11
阅读
二研究现代普通逻辑学的意义和方法
20
阅读
第二章概念
26
阅读
一概念与集合
26
阅读
二概念的分类
28
阅读
三概念与语词的对应关系
31
阅读
四定义
33
阅读
第三章 判断
38
阅读
一判断与客体事态
38
阅读
二判断种类
39
阅读
三辩证判断和判断原理
42
阅读
四命题
44
阅读
第四章推理、证明和演算
51
阅读
一推理
51
阅读
二证明
54
阅读
三演算
58
阅读
第二部分 逻辑演算
61
阅读
第一章命题演算
63
阅读
一命题运算式
65
阅读
二命题的含义和推导
68
阅读
三等价推导
74
阅读
四蕴含推导
87
阅读
五多层次推导
92
阅读
第二章条件命题演算
100
阅读
一条件命题前后件的真值关系
100
阅读
二依存关系系统
104
阅读
三条件命题的演算规则
113
阅读
四条件命题的推导和应用
125
阅读
五条件命题与真实命题混推
134
阅读
六范式、判定和基本定理
142
阅读
第三章复合演算
156
阅读
一基本运算和复合运算
156
阅读
二对称差运算和异或运算
160
阅读
三分配问题
165
阅读
四组合问题
174
阅读
五命题演算系统
181
阅读
第四章逻辑线路设计与开关函数演算
183
阅读
一开关与开关函数
183
阅读
二开关演算
187
阅读
三线路设计步骤
194
阅读
四数字显示装置
200
阅读
第五章集合演算和主谓项集合关系式
206
阅读
一外延推理演算举例
206
阅读
二基本集合演算
209
阅读
三复合运算和条件运算
224
阅读
四主谓集合关系句
233
阅读
五主谓集合关系式
237
阅读
第六章命题主谓项集合关系演算
249
阅读
一简单命题推导
249
阅读
二复杂命题的主谓集合关系式
269
阅读
三由简单命题推导复杂命题
277
阅读
四由复杂命题推导简单命题
283
阅读
五复杂命题的分解与合成
289
阅读
六由复杂命题推导复杂命题
293
阅读
七多前提推理
297
阅读
八存在命题的推导
304
阅读
九主谓项集合演算系统
306
阅读
第七章量词演算
309
阅读
一量词和带量命题
309
阅读
二相等关系和反谓相等关系的量词演算
319
阅读
三蕴含关系和反谓蕴含关系的量词演算
322
阅读
四互补关系和反补关系的量词演算
328
阅读
五平行关系与反谓平行关系的量词演算
332
阅读
六带量命题主谓倒述
335
阅读
七多前提推导
338
阅读
八量词演算系统
339
阅读
第八章关系演算
341
阅读
附录一数理逻辑的谓词演算简介
351
阅读
第九章审辨演算
381
阅读
一命题真假关系
382
阅读
二多命题真假演算
389
阅读
三非形式证明方法和形式证明简介
396
阅读
四推理式和论证的审辨
405
阅读
五语词的审辨
408
阅读
第十章模态命题演算
414
阅读
一对模态的理解
414
阅读
二模态命题演算之一——S系统
417
阅读
三模态命题演算之二——D系统
424
阅读
四规范模态演算
428
阅读
五时态演算
429
阅读
第十一章逻辑方程
435
阅读
第十二章超信息判断
448
阅读
一推测
448
阅读
二假说
465
阅读
三对归纳法的归纳
470
阅读
更多...
这个是隐藏的空行
写书评
(不超过2000个字符)
这个是隐藏的空行
这个是隐藏的空行
最新评论
标签
演算
主谓
量词
关系
模态
推理
审辨
项集合
前提
语词
推导
集合
运算
证明
逻辑
条件
对象
开关
三由
八量词
六带量
带量
四由复杂
二模态
三辩证
同类书籍推荐
精彩笔记
谁收藏过这本书?