收藏 分享(赏)

1958 数理逻辑基础_10347230.pdf

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

1、Ge n e r a l In f o r m a t i o n 书名=1958 数理逻辑基础作者=希尔柏脱 阿克曼著 莫绍揆译页数=200SS号=10347230出版日期=1958年07月第1版前言目录译者的话俄译者序言原著者第一、二、三版序导言第一章 命题演算 1.基本逻辑联结词的引入 2.等值性;基本联结词的可省约性 3.逻辑表达式的范式 4.永真的复合命题的刻书 5.对偶原则 6.逻辑表达式的析取范式 7.由一些给定的基本命题所能作成的复合命题的总体 8.关于普遍有效性及可满足性问题的补充注意 9.由给定的公理而作的一切推论-系统性的综览 10.命题演算的公理 11.由公理推演公式的

2、例子 12.公理系统的不矛盾性 13.系统的独立性与完备性第二章 类演算(一元谓词演算) 1.命题演算符号在内容上的新解释 2.类演算与命题演算的联合 3.传统的亚里士多德推理式的系统地推演第三章 狭义谓词演算 1.以前的演算的不充分性 2.谓词演算在方法论上的基本思想 3.关于谓词演算的应用的初步提示 4.谓词演算中记号的精确化 5.谓词演算的公理 6.永真公式系统 7.替换规则;一公式的否定的作成 8.推广的对偶原则;范式 9.公理系统的不矛盾性及独立性 10.公理系统的完备性 11.由给定的前提所导出的推论;与永真公式的关系 12.判定问题第四章 广义谓词演算 1.第二层次的谓词演算 2.谓词谓词的引入;数目概念的逻辑处理 3.集合论的基本概念在广义演算中的表示 4.逻辑誖论 5.层次演算 6.层次演算的应用 7.对层次演算的最后附注附录 原书第一版第四章最后几节 5.层次演算的方法 6.层次演算的不足性 7.可化归性公理 8.可化归性公理的应用 9.对于层次演算的最后附注参考文献德中名词对照表中德名词对照表德中人名对照表

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

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

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


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

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

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