《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。
第0章 集合基础
第1章 命题逻辑
1.0 闲话形式语言
1.1 命题逻辑的语言
1.2 真值指派
1.3 解析算法
1.4 归纳与递归
1.5 命题联结词
1.6 交换电路
1.7 紧致性和能行性
第2章 一阶逻辑
2.0 预备知识
2.1 一阶语言
2.2 真值与模型
2.3 解析算法
2.4 演绎计算
2.5 可靠性与完备性理论
2.6 理论的模型
2.7 理论之间的解释
2.8 非标准分析
第3章 不可判定性
3.0 数论
3.1 有后继数的自然数
3.2 数论的其他归约模型
3.3 数论的子理论
3.4 语法的算术法
3.5 不完全性和不可判定性
3.6 递归函数
3.7 第二不完全性定理
3.8 幂乘运算的表示
第4章 二阶逻辑
4.1 二阶语言
4.2 斯科伦函数
4.3 多类逻辑
4.4 广义结构
附录A 推荐读物
附录B 符号列表
索引
神秘岛 本书特色 五名美国南北战争期间被困在南军城里的北方人和一条狗,趁黑夜乘坐热气球出逃,结果时运不济,中途遭遇风暴,被稀里糊涂地吹到了南太平洋上一个荒无人烟...
从理想主义到经验主义 本书特色 学识渊博、言辞犀利只是顾准的外部特征,作为思想家,顾准的内在特征是对中国和世界历史中的一系列重大问题提出自己的独到见解,言人所未...
新托福考试专项进阶-中级阅读(新东方) 本书特色 《新托福考试专项进阶:中级阅读》是由群言出版社出版。新托福考试专项进阶-中级阅读(新东方) 内容简介 简介《新...
《希利尔写给儿童的世界历史、世界地理和艺术史》包括以下三本书。《希利尔儿童世界历史》以时间为经,空间为纬,重要历史人物和
所罗门王的宝藏-文学名著英汉双语读物-第八级 本书特色 《所罗门王的宝藏》是英国近代冒险小说家H.R. 哈格德的成名作。这部探险小说于1885年出版,受到广大读...
钢笔书法教程 本书特色 《中等职业教育教材:钢笔书法教程》从汉字起源、硬笔基本技法、章法布局和作品临摹等多角度出发,详细地讲述了钢笔书法楷书、行书两种学生常用书...
五四前后英诗汉译的社会文化研究 内容简介 本书将五四前后的英诗汉译现象置于当时中国社会文化转型和文学嬗变的历史视野中加以考察,着力运用了当代文化翻译理论、当代西...
《新中国少数民族题材电影生产与传播研究》内容简介:《新中国少数民族题材电影生产与传播研究》借鉴大众文化理论以及政治经济学、
宇宙.银河系-自然博物馆-彩图版 本书特色 《自然博物馆:宇宙·银河系(彩图版)》从青少年的阅读心理特点出发,对图书结构进行了精心设计。全书采用板块结构形式,共...
幼儿园管理 内容简介本书是根据教育部*新颁布的大纲进行编写的,其内容涉及幼儿园管理的内容、原则与任务,目标与过程,保教工作,保健工作,后勤工作等方方面面。本教材...
生死场 本书特色 《生死场》创作于1934年,是萧红的巅峰力作,中国现代文学经典。小说描写了“九·一八”事变前后,哈尔滨近郊的一个偏僻村庄发生的恩恩怨怨以及村民...
奥林匹克数学导读与训练.初三年级 内容简介 本书通过导读与训练,引导初中数学爱好者走近奥林匹克数学,学习奥林匹克数学。学数学没有轻松取胜之路。因此,学习数学一定...
怪异故事集-青少版 本书特色 文学是比鸟飞得还远的梦想、比花开得还美的情感、比星闪得还亮的智慧,是我们到了一百岁还忘不掉的信念。文学名著永远是全世界人民的无价之...
额尔吉纳河右岸-高中部分 本书特色 《额尔古纳河右岸》是我国**部描述东北少数民族鄂温克人生存现状及百年沧桑的长篇小说。作者以一位年届九旬的鄂温克族...
自然辩证法概论(第2版)/吴炜 本书特色 本书共分四章,*章介绍了马克思主义自然观的形成过程,强调了马克思主义自然观是在古代朴素唯物主义自然观、近代机械唯物主义...
《丰子恺话人生》内容简介:丰子恺,中国现代文化艺术大舞台上一个响亮的名字。本书是丰子恺幼女丰一吟老师从丰子恺著述中精选出来
名人传——语文必读丛书 本书特色 “读书破万卷,下笔如有神”,我们相信,通过阅读这套版本权威、选目完善、经典实用的丛书,不仅有助于中小学生的课内外学习与考试升学...
森林报-美绘典藏版-新版课课标指定必读 本书特色 《森林报》是人教版小学语文教材推荐阅读书目,堪称一部史无前例的大自然颂诗!它颇具创意地采用报刊形式,介绍...
罗伯特·卡尼格尔,科学作家,曾获格雷迪一斯塔克科学写作奖,著有《师从天才——一个科学王朝的崛起》等书。作品散见于《纽约时报杂志》、《文明》、《今日心理学》、《健...
《金钉子》内容简介:本书站在千年金融史的台阶上,审视金融科技的革命性意义,探索金融科技为人类金融发展带来的种种可能。研究内