仅支持付费会员使用
微信扫码开通付费会员
本书已下架
内容不再支持阅读
目录
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
暂无评论
发 表
回复
赞
评论详情
发 表
确定删除吗？
取 消
删 除
《数理逻辑（新编21世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材）》
仅支持付费会员使用
仅支持付费会员使用
微信扫码开通付费会员