微信读书书城
数理逻辑(新编21世纪哲学系列教材;中国人民大学“十三五”规划教材—特色教材)
首页
我的书架
登录
本书已下架
内容不再支持阅读
目录
Ai 问书
笔记
开启书友想法
上下滚动阅读
字号
浅色
数理逻辑(新编21世纪哲学系列教材;中国人民大学“十三五”规划教材—特色教材)
余俊伟 赵晓玉 裘江杰 张立英
扉页
哲学缘起
+
书签
1.1 哲学之求真
1.2 从哲学到逻辑
1.2.1 亚里士多德的逻辑与哲学
1.2.2 弗雷格的逻辑与哲学
命题逻辑
2.1 导言
2.1.1 什么是命题逻辑
2.1.2 命题逻辑发展简史
2.1.3 本章的基本脉络
2.2 语言
2.3 语义
2.3.1 真与真值
2.3.2 组合性
2.3.3 联词与真值表
2.3.4 形式语义
2.3.5 常见重言式
2.4 公理系统
2.4.1 命题演算
2.4.2 证明和内定理
2.4.3 演绎规则
2.4.4 演绎定理
2.4.5 公理的独立性
2.5 可靠性和完全性
2.5.1 可靠性证明
2.5.2 完全性证明
2.5.3 广义完全性定理
2.5.4 公理的独立性
2.5.5 紧致性和可判定性
一阶逻辑
3.1 导言
3.1.1 问题引入
3.1.2 早期简史
3.2 语法
3.2.1 基本语法
3.2.2 无歧义性
3.2.3 递归定义
3.2.4 归纳证明
3.2.5 自由变元
3.3 语义
3.3.1 结构与赋值
3.3.2 塔斯基语义
3.3.3 合同与代入
3.3.4 重要有效式
3.3.5 公式的范式
3.4 公理系统
3.4.1 公理系统
3.4.2 证明与演绎
3.4.3 重要元定理
3.4.4 演绎规则
3.4.5 逻辑与理论
3.5 完全性定理
3.5.1 可靠性定理
3.5.2 可满足定理
3.5.3 可扩张定理
3.5.4 完全性定理
……
一阶理论
不完全性
模态逻辑
参考文献
符号索引
名称索引
术语索引
是否关闭自动购买?
关闭后,阅读到本书未购买章节均需要手动购买确认。
取消
关闭
数理逻辑(新编21世纪哲学系列教材;中国人民大学“十三五”规划教材—特色教材)
已读到0% · 共0条笔记
你可以在这里记录本书的
想法、划线、书签
点评此书
推荐
一般
不行
书友想法
评论
0
赞
0
暂无评论
发 表
回复
赞
评论详情
发 表
确定删除吗?
取 消
删 除
《数理逻辑(新编21世纪哲学系列教材;中国人民大学“十三五”规划教材—特色教材)
》
仅支持付费会员使用
微信扫码开通付费会员
仅支持付费会员使用
微信扫码开通付费会员