数理逻辑基础(上册) 自然科学 胡世华,陆钟万 新华正版
￥ 68.59 7.0折 ￥ 98 全新
库存8件
河北保定
认证卖家担保交易快速发货售后保障
作者胡世华,陆钟万
出版社科学出版社
ISBN9787030464217
出版时间2015-11
版次1
装帧平装
开本16
页数248页
字数192千字
定价98元
货号xhwx_1202316238
上书时间2024-12-15
- 最新上架
商品详情
- 品相描述：全新
- 正版特价新书
- 商品描述
-
目录：
序
使用说明
绪论
§00 数理逻辑
§01 逻辑演算(一)
§02 逻辑演算(二)
§03 集的基本概念
§04 数学归纳法
章 演绎逻辑的基本规则
§10 命题逻辑p的形成规则
§11 p的形式推理规则
§12 命题逻辑p*
§13 p和p*的关系
§14 命题常元、谢孚竖
§15 谓词逻辑f和f*的形成规则
§16 f和f*的形式推理规则
§17 函数词、等词
§18 摹状词
§19 偏函数
第二章逻辑演算的系统特征
§20 等值公式的可替换
§21 逻辑词的可定义
§22 命题连接词的和独立
§23 代人定理
§24 合取范式和析取范式
§25 前束范式和斯柯伦范式
§26 根岑系统和对偶
§27 无嵌套范式
§28 逻辑演算的归约
符号汇编(上册)
内容简介：
本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造数学、递归论、集合论)的共同的基础。
本书共六部分，分上、下两册。上册包括绪论、章和第二章。绪论对数理逻辑的质，逻辑演算的大概内容。以及阅读以后各，所需要的预备知识作了简要的说明。章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则。第二章研究逻辑演算的重要系统特征。
本书可以用作数学专业和其他专业数理逻辑课程的教材或参书，或供有关工作人员参。当用作其他专业的教材时，内容可删减。使用本书时一般要求读者具有相当于大学高年级程度的数学训练。
— 没有更多了 —
以下为对购买帮助不大的评价