图书介绍
有趣的数理逻辑PDF|Epub|txt|kindle电子书版本网盘下载
- 何普恒编 著
- 出版社： 上海：上海人民出版社
- ISBN：2074·433
- 出版时间：1984
- 标注页数：160页
- 文件大小：4MB
- 文件页数：169页
- 主题词：
PDF下载
下载说明
有趣的数理逻辑PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
编者的话1
命题逻辑部分1
一、需要用命题逻辑解答的题目1
1.三兄弟锁橱门1
2.这两句话的意思一样吗？2
3.有些缠人的蛇是毒蛇吗？2
4.“假如我睡不着觉……”3
5.“二加三不等于五”4
6.吕正标智斗许仕虎4
7.父亲与儿子的争论6
8.谁打碎了窗子?(之一)6
9.谁碎了窗子?(之二)7
10.需要的书放在哪里?8
11.聪明的囚徒8
12.一个勘探队员9
13.哪个是放有钥匙的盒子？10
14.在三岔路口上10
15.这位技术员一定要参加会议吗?11
16.这是谁干的?11
17.古典的速度加法定理是真的吗?12
18.小严的推断可靠吗?12
19.胡彪是杀人犯吗？13
20.谁考上重点大学?13
22.“我知道了……”14
21.土耳其商人和帽子的故事14
23.在什么情况下，这幢公寓才不发生失窃案件?15
24.新产品的鉴定办法16
25.两个部落16
26.农民还是小偷？17
二、命题逻辑的基本知识简介18
1.命题逻辑的基本概念18
2.判定重言式的逻辑方法30
3.命题演算41
4.范式50
5.关于自然语言翻译为人工符号语言的问题62
1.三兄弟锁橱门70
三、用命题逻辑解答的题目的答案70
2.这两句话的意思一样吗?73
3.有些缠人的蛇是毒蛇吗?75
4.“假如我睡不着觉……”76
5.“二加三不等于五”78
6.吕正标智斗许仕虎79
7.父亲与儿子的争论81
8.谁打碎了窗子?(之一)82
9.谁打碎了窗子?(之二)83
10.需要的书放在哪里?85
11.聪明的囚徒86
12.一个勘探队员87
13.哪个是放有钥匙的盒子?90
14.在三岔路口上92
15.这位技术员一定要参加会议吗?94
16.这是谁干的?96
17.古典的速度加法定理是真的吗?99
18.小严的推断可靠吗？100
19.胡彪是杀人犯吗?103
20.谁考上重点大学?106
21.土耳其商人和帽子的故事110
22.“我知道了……”111
23.在什么情况下，这幢公寓才不发生失窃案件?113
24.新产品的鉴定办法114
25.两个部落115
26.农民还是小偷?116
类逻辑部分119
一、需要用类逻辑解答的题目119
1.这位技术员一定要参加会议吗?119
2.五个嫌疑犯119
3.三台机器120
4.三台马达的运转120
5.他们的诊断相同吗？121
6.三岁小孩是斗不过大鲨鱼的121
7.他们各是什么职称?121
8.他们各自买的是什么牌子的车子?122
9.如何安排课程表?122
11.到底有谁看了电视节目?123
10.世界女子体操锦标赛的名次123
12.他们分别考上哪个大学?124
13.得满分的究竟是谁？124
14.录取分数线到底是多少?125
15.究竟哪两个人参加了义务劳动?125
二、类逻辑的基本知识简介127
1.类逻辑的基本概念127
2.类的演算129
3.本书中需要用类逻辑解答的题目的几种主要类型132
三、用类逻辑解答的题目的答案142
1.这位技术员一定要参加会议吗?142
3.三台机器143
2.五个嫌疑犯143
4.三台马达的运转144
5.他们的论断相同吗?146
6.三岁小孩是斗不过水管大鲨鱼的146
7.他们各是什么职称？147
8.他们各自买的是什么牌子的车子？148
9.如何安排课程表?150
10.世界女子体操锦标赛的名次151
11.到底有谁看了电视节目?152
12.他们分别考上哪个大学？154
13.得满分的究竟是谁?156
14.录取分数线到底是多少？157
15.究竟哪两个人参加了义务劳动？158