简介
购买方法：点击“蓝色文字收藏品”或者“可以从“这些卖家”购买” .....................购买说明：此书为绝版图书，售价高于原价作者:孙希文编著 页数:237 出版社:哈尔滨市：哈尔滨工业大学出版社 出版日期:1991.12
目录
目 录
第一章 引 论
§1.1 数理逻辑的简单历史及主要内容
§1.2公理系统与形式系统
§1.3结构、关系结构和代数结构
§1.4 命题连接词和量词
§1.5真值函数和赋值
习题
第二章一阶理论
§2.1一阶语言
§2.2一阶语言的若干性质
§2.3结构
§2.4一阶理论的概念
§2.5形式定理与形式证明
习 题
第三章一阶理论的若干定理
§3.1演绎定理
§3.2 重言式定理
§3.3等价和相等定理
§3.4一阶理论的范式
习题
第四章一阶理论的特征问题
§4.1 归约定理
§4.2全性定理
§4.3 协调性定理
§4.4 Herbrand定理
§4.5 函数符号的引入
§4.6用定义方法扩张理论
§4.7解释
习题
第五章形式系统的一般理论与一阶理论的等价定义
§5.1 形式系统的一般理论简介
§5.2 归纳算子及其不动点
§5.3具有相同语言的一阶理论的等价定义
§5.4具有不同语言的一阶理论的等价定义
§5.5 Gentze系统
习题
第六章模型论
§6.1紧致性定理
§6.2结构与模型的超积
§6.3定向结构族及其定向极限
§6.4初等等价性
§6.5完全的理论
§6.6等式逻辑的结构及模型
§6.7不变性和表征定理
习题
数理逻辑引论
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
