【现货速发】数理逻辑基础(典藏版上)/现代数学基础丛书
全新正版书籍，24小时发货，可开发票。
￥ 69 7.0折 ￥ 98 全新
库存5件
天津津南
认证卖家担保交易快速发货售后保障
作者胡世华，陆钟万
出版社科学出版社
ISBN9787030464217
出版时间2023-09
装帧平装
开本其他
定价98元
货号25064300
上书时间2024-12-19
商品详情
- 品相描述：全新
- 商品描述
-
导语摘要
本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。《BR》本书共六部分，分上、下两册。上册包括绪论、第一章和第二章。绪论对数理逻辑的性质，逻辑演算的大概内容。以及阅读以后各章所需要的预备知识作了简要的说明。第一章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则。第二章研究逻辑演算的重要系统特征。
目录
序
使用说明
绪论
§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 逻辑演算的归约
符号汇编(上册)
内容摘要
本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。《BR》本书共六部分，分上、下两册。上册包括绪论、第一章和第二章。绪论对数理逻辑的性质，逻辑演算的大概内容。以及阅读以后各章所需要的预备知识作了简要的说明。第一章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则。第二章研究逻辑演算的重要系统特征。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价