收藏 分享(赏)

1986_11 数理逻辑_10230205.pdf

上传人:fydodygffhjjrfjik 文档编号:7035989 上传时间:2022-08-31 格式:PDF 页数:258 大小:7.88MB
下载 相关 举报
1986_11 数理逻辑_10230205.pdf_第1页
第1页 / 共258页
1986_11 数理逻辑_10230205.pdf_第2页
第2页 / 共258页
1986_11 数理逻辑_10230205.pdf_第3页
第3页 / 共258页
1986_11 数理逻辑_10230205.pdf_第4页
第4页 / 共258页
1986_11 数理逻辑_10230205.pdf_第5页
第5页 / 共258页
亲,该文档总共258页,到这儿已超出免费预览范围,如果喜欢就下载吧!
资源描述

General Information书名=1986.11 数理逻辑作者=A.G.汉密尔顿页数=251SS号=10230205出版日期=1986年11月第1版前言目录第一章 非形式的命题演算 1.1命题和联结词 1.2 真值函数和真值表 1.3 运算和代入规则 1.4 范式 1.5 联结词的完全集 1.6 论证和有效性第二章 形式的命题演算 2.1 形式系统L 2.2 L的完备性定理第三章 非形式的谓词演算 3.1 谓词和量词 3.2 一阶语言 3.3 解释 3.4 满足,真第四章 形式的谓词演算 4.1 形式系统K 4.2 等值,代入 4.3 前束范式 4.4 K的完备性定理 4.5 模型第五章 数学系统 5.1 引论 5.2 带等号的一阶系统 5.3 群论 5.4 一阶算术 5.5 形式集合论 5.6 一致性和模型第六章 哥德尔不完全性定理 6.1 引论 6.3 递归函数和递归关系 6.4 哥德尔数 6.5 不完全性的证明第七章 可计算性,不可解性,不可判定性 7.1 算法和可计算性 7.2 图灵机 7.3 字问题 7.4 形式系统的不可判定性附录 可数集和不可数集部分习题的提示和解答参考书目符号表

展开阅读全文
相关资源
相关搜索
资源标签

当前位置:首页 > 教育专区 > 大学资料

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:文库网官方知乎号:文库网

经营许可证编号: 粤ICP备2021046453号世界地图

文库网官网©版权所有2025营业执照举报