数理逻辑基础 上PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:胡世华,陆钟万著
- 出 版 社:北京:科学出版社
- 出版年份:2015
- ISBN:9787030444035
- 页数:233 页
图书介绍:包含《现代数学基础丛书》共50本,一个书号,定价7000元,面向馆配市场,装箱销售。本套丛书是《现代数学基础丛书的》典藏版,包含了在不同时间段出版的数学基础专著,使读者能够方便的阅读和查阅。本书涉及书目均为数学基础类,现在仍有很高的参考价值和市场前景。
上一篇:有机化学实验下一篇:全国中医药行业高等教育十三五规划教材 分析化学 下
《数理逻辑基础 上》目录
绪论 1
00 数理逻辑 1
01 逻辑演算(一) 4
02 逻辑演算(二) 12
03 集的基本概念 19
04 数学归纳法 28
第一章 演绎逻辑的基本规则 37
10 命题逻辑P的形成规则 37
11 P的形式推理规则 53
12 命题逻辑P 74
13 P和P的关系 87
14 命题常元、谢孚竖 96
15 谓词逻辑F和F的形成规则 101
16 F和F的形式推理规则 113
17 函数词、等词 129
18 摹状词 137
19 偏函数 144
第二章 逻辑演算的系统特征 152
20 等值公式的可替换性 152
21 逻辑词的可定义性 157
22 命题连接词的完全性和独立性 160
23 代入定理 166
24 合取范式和析取范式 177
25 前束范式和斯柯伦范式 184
26 根岑系统和对偶性 191
27 无嵌套范式 206
28 逻辑演算的归约 214
符号汇编(上册) 226
相关图书
- 《市政工程基础》杨岚编著 2009
- 《零基础学会素描》王金著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《生物质甘油共气化制氢基础研究》赵丽霞 2019
- 《花时间 我的第一堂花艺课 插花基础技法篇》(日)花时间编辑部编;陈洁责编;冯莹莹译 2020
- 《Photoshop CC 2018基础教程》温培利,付华编著 2019
- 《看视频零基础学英语口语》宋德伟 2019
- 《胃癌基础病理》(日)塚本彻哉编者;宫健,刘石译者 2019
- 《高校转型发展系列教材 素描基础与设计》施猛责任编辑;(中国)魏伏一,徐红 2019
- 《基础乐理》牛丽君 2019
作者其它书籍
出版社其它书籍
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019