数理逻辑基础PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:(德)希尔柏脱(D.Hilbert),(德)阿克曼(W.Ackermann)著;莫绍揆译
- 出 版 社:北京:科学出版社
- 出版年份:1958
- ISBN:13031·750
- 页数:200 页
前言页 1
译者的话 1
导言 1
俄译者序言 2
第一章 命题演算 3
1.基本逻辑联结词的引入 3
2.等值性;基本联结词的可省约性 5
原著者第一、二、三版序 10
3.逻辑表达式的范式 11
4.永真的复合命题的刻书 13
5.对偶原则 15
6.逻辑表达式的析取范式 16
7.由一些给定的基本命题所能作成的复合命题的总体 17
8.关于普遍有效性及可满足性问题的补充注意 20
9.由给定的公理而作的一切推论--系统性的综览 22
10.命题演算的公理 26
11.由公理推演公式的例子 29
12.公理系统的不矛盾性 36
13.系统的独立性与完备性 38
第二章 类演算(一元谓词演算) 41
1.命题演算符号在内容上的新解释 41
2.类演算与命题演算的联合 45
3.传统的亚里士多德推理式的系统地推演 50
第三章 狭义谓词演算 56
1.以前的演算的不充分性 56
2.谓词演算在方法论上的基本思想 57
3.关于谓词演算的应用的初步提示 61
4.谓词演算中记号的精确化 65
5.谓词演算的公理 68
6.永真公式系统 70
7.替换规则;一公式的否定的作成 78
8.推广的对偶原则;范式 80
9.公理系统的不矛盾性及独立性 85
10.公理系统的完备性 89
11.由给定的前提所导出的推论;与永真公式的关系 98
12.判定问题 107
第四章 广义谓词演算 120
1.第二层次的谓词演算 120
2.谓词谓词的引入;数目概念的逻辑处理 129
3.集合论的基本概念在广义演算中的表示 133
4.逻辑誖论 136
5.层次演算 144
6.层次演算的应用 159
7.对层次演算的最后附注 167
附录 原书第一版第四章最后几节 170
5.层次演算的方法 170
6.层次演算的不足性 174
7.可化归性公理 177
8.可化归性公理的应用 179
9.对于层次演算的最后附注 186
参考文献 189
德中名词对照表 191
中德名词对照表 197
德中人名对照表 200
- 《市政工程基础》杨岚编著 2009
- 《零基础学会素描》王金著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《生物质甘油共气化制氢基础研究》赵丽霞 2019
- 《花时间 我的第一堂花艺课 插花基础技法篇》(日)花时间编辑部编;陈洁责编;冯莹莹译 2020
- 《Photoshop CC 2018基础教程》温培利,付华编著 2019
- 《看视频零基础学英语口语》宋德伟 2019
- 《胃癌基础病理》(日)塚本彻哉编者;宫健,刘石译者 2019
- 《高校转型发展系列教材 素描基础与设计》施猛责任编辑;(中国)魏伏一,徐红 2019
- 《基础乐理》牛丽君 2019
- 《书情书》(德)布克哈德·施皮南(Burkhard Spinnen)著;(德)琳娜·霍文 2019
- 《美国的伤痕 独立战争与美国政治的暴力基因》(德)霍尔格·霍克(Holger Hoock)著 2019
- 《文明的衰落与复兴》张娜责编;陈维政总主编;孙林译者;(德)阿尔伯特·史怀哲 2019
- 《厄特克尔家族》(德)鲁迪格·杨布鲁特著 2018
- 《弗里德里希·李斯特传》朱希滨责编;贾根良,梅俊杰总主编;梅俊杰译者;(德)欧根·文得乐 2019
- 《弗利克家族》(德)托马斯·拉姆什著 2018
- 《剑桥国际英语写作教程 从句子到段落》(美)劳里·布拉斯(Laurie Blass),(美)德德拉·戈登(Deborah Gordon)编著 2019
- 《量子系统的非平衡多体理论》(意)G.斯蒂芬尼茨,(德)R.冯·莱文 2019
- 《香水》李清华译;(德)帕·聚斯金德 2018
- 《无师自通玩转乐器系列 无师自通玩转长笛》胡越菲译;(德)阿尔内·施瓦茨霍兹 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019