• 
  数理逻辑基础（上...
  ￥77.42元
• 
  数理逻辑基础（下...
  ￥77.42元
• 
  线性偏微分算子引...
  ￥195.92元

　　本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。
　　本书共六部分，分上、下两册。上册包括绪论、第一章和第二章。绪论对数理逻辑的性质，逻辑演算的大概内容。以及阅读以后各章所需要的预备知识作了简要的说明。第一章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则。第二章研究逻辑演算的重要系统特征。

样章试读

• 暂时还没有任何用户评论

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

• 暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

用户名：	匿名用户
E-mail：
咨询内容：

• 目录
  序 ⅲ
  使用说明 ⅶ
  绪论 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