![数理统计入门](https://cover.qianqiantushu.cc/96/s6ba8ce2.jpg)
上一篇:大学物理 上下一篇:仪器分析实验 修订版
《数理统计入门》目录
1 命题逻辑 1
1.1 逻辑研究什么 3
1.2 逻辑与自然语言 4
1.3 命题 5
1.4 联结符号 6
1.5 命题符号 11
1.6 真值表 12
1.7 永真命题和永假命题 13
1.8 演绎推理 16
1.9 命题推演:自然演绎法 18
1.10 基本加行规则 21
1.11 直接证明法 24
1.12 间接证明法 27
1.13 非蕴涵式的证明法 28
1.14 命题逻辑的定理和派生规则 29
1.15 命题逻辑的公理系统 50
1.16 公理系统的方法论 53
1.17 公理系统的无矛盾性 57
1.18 公理系统的独立性 59
1.19 模型,解释 63
2 谓词逻辑 65
2.1 谓词逻辑与命题逻辑 67
2.2 量词,辖域 70
2.3 一阶谓词逻辑的基本规则 72
2.4 一阶谓词逻辑的定理和派生规则 76
2.5 一阶谓词逻辑的公理系统 87
附录 95
习题及答案 113
相关图书
- 《建筑施工企业统计》杨淑芝主编 2008
- 《HTML5从入门到精通 第3版》(中国)明日科技 2019
- 《少儿电子琴入门教程 双色图解版》灌木文化 2019
- 《区块链DAPP开发入门、代码实现、场景应用》李万胜著 2019
- 《Python3从入门到实战》董洪伟 2019
- 《小提琴入门新教程 第3册》王中男著 2018
- 《小提琴入门新教程 第2册》王中男编著 2017
- 《中国农村经营管理统计年报(2015年)》农业部农村经济体制与经营管理司,农业部农村合作经济经营管理总站编 2016
- 《概率论与数理统计》傅丽芳 2018
- 《新手养花从入门到精通》徐帮学编 2019
作者其它书籍
- 《嘉庆义乌县志 卷17、卷18》(清)诸自谷,程瑜,李锡龄著 2001
- 《嘉庆义乌县志 卷21、卷22》(清)诸自谷,程瑜,李锡龄著 2001
- 《嘉庆义乌县志 卷19、卷20》(清)诸自谷,程瑜,李锡龄著 2001
- 《嘉庆义乌县志 卷10、卷11、卷12》(清)诸自谷,程瑜,李锡龄著 2001
- 《嘉庆义乌县志 卷2、卷3、卷4》(清)诸自谷,程瑜,李锡龄著 2001
- 《嘉庆义乌县志 卷15、卷16》(清)诸自谷,程瑜,李锡龄著 2001
- 《嘉庆义乌县志 卷5、卷6》(清)诸自谷,程瑜,李锡龄著 2001
- 《嘉庆义乌县志 卷13、卷14》(清)诸自谷,程瑜,李锡龄著 2001
- 《嘉庆义乌县志 卷1》(清)诸自谷,程瑜,李锡龄著 2001
- 《嘉庆义乌县志 卷7、卷8、卷9》(清)诸自谷,程瑜,李锡龄著 2001
出版社其它书籍
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《大学化学实验》李爱勤,侯学会主编 2016
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017