数理逻辑基础(上册) 9787030464217

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

作者简介
。。。

目 录
序
使用说明
绪论
§ 数理逻辑
§ 逻辑演算一
§ 逻辑演算二
§ 集的基本概念
§ 数学归纳法
章 演绎逻辑的基本规则
§ 命题逻辑的形成规则
§ 的形式推理规则
§ 命题逻辑
§ 和的关系
§ 命题常元、谢孚竖序
使用说明
绪论
§ 数理逻辑
§ 逻辑演算一
§ 逻辑演算二
§ 集的基本概念
§ 数学归纳法
章 演绎逻辑的基本规则
§ 命题逻辑的形成规则
§ 的形式推理规则
§ 命题逻辑
§ 和的关系
§ 命题常元、谢孚竖
§ 谓词逻辑和的形成规则
§ 和的形式推理规则
§ 函数词、等词
§ 摹状词
§ 偏函数
第二章逻辑演算的系统特征
§ 等值公式的可替换性
§ 逻辑词的可定义性
§ 命题连接词的 性和独立性
§ 代人定理
§ 合取范式和析取范式
§ 前束范式和斯柯伦范式
§ 根岑系统和对偶性
§ 无嵌套范式
§ 逻辑演算的归约
符号汇编上册

显示全部信息

在线试读
。。。

商品详情

基本信息（以实物为准）

商品名称：数理逻辑基础典藏版上现代数学基础丛书
作者：胡世华陆钟万 定 开本
出版社：科学 号 页数
出版时间 版次 商品类型：图书
印刷时间 印次