《数理逻辑(第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 符号列表
索引
多功能练字字帖启蒙英语(赠神奇魔术笔) 本书特色 字帖中配有英文单词,每一个单词配有精美图片。本书的*特色就是对英文单词和图片的挑选。英文单词,经过专业少儿英语...
学校会伤人 本书特色 我们应该怎样去认识由于过时的学校教育政策而带来的“伤害”?我们怎样去应对它们?在这本有争议的新著中,柯尔斯滕奥尔森揭示了某种教育方式的灾难...
作品目录一、《高等数学》(第六版)上册习题全解 第一章 函数与极限 习题1—1 映射与函数 习题1—2 数列的极限 习题1—3 函数的极
5年级-小学生分类作文大全-好作文这样写 本书特色 由郭冬杉和吴长青共同编*、刘晔主编的《小学生分类作文大全(5年级)/好作文这样写》一书根据的写作要求编写,有...
《物联网之魂》内容简介:本书地介绍了物联网协议和物联网操作的相关内容。第1章阐述了与物联网联系比较紧密的几种网络通信协议;第
狐狸的微笑:原始森林里正在消逝的它们 本书特色 当我们钦羡大自然中的美丽生灵时,是否想到,它们赖以生存的自然环境正在遭受无尽的侵扰。大森林中的野生动物正在加速消...
小学一年级-我的写作课 本书特色 针对目前写作教学难教难写的现状,亲近母语研究院集聚十余年儿童阅读和母语教育的研究成果,综合国内外写作教学研究编写了该套儿童写作...
马上说日语-日语入门口语-最新双速版-(附赠DVD光盘一张) 本书特色 《日语入门口语马上说日语口语大全:放口袋》一书是为没有日语基础的人、日语基础较差的人,在...
英语易混词语词典 内容简介 本书分两大部分:**部分为似是而非易混单词,包括:(1)音同形不同义不同;收录词条660多余组,单词1600个。(2)形同音不同义不...
快乐山巅:从亿万富翁到优秀教师 本书特色 《快乐山巅:从亿万富翁到优秀教师》:看资产亿万的硅谷精英如何用企业家的精神成功塑造英才;看巴菲特推崇的美国白宫顾问如何...
会计基础习题精选:2015 本书特色 《(2015年)<会计基础>习题精选》以新修订的考试大纲及辅导教材为依据,秉承了以前版本的优点,紧跟考试形式,不仅归纳了每...
初级会计学(中国人民大学会计系列教材·第六版;“十一五”国家级规划教材;推荐教材)赠实训用纸 本书特色 国家级优秀教学成果奖普通高等教育“十一五”国家级规划教材...
《金融市场学(第2版)》内容简介:本书内容分为四部分。第一部分(第一章)是金融市场总述,简要介绍了金融市场的定义与要素、金融
五年级.下-RJ-名师一点通-小学生课堂同步作文-随书赠快乐作文本 本书特色 本书依据《语文课程标准》对小学生写作与口语交际的要求编写,与人教版小学语文五年级教...
余党绪,上海市语文特级教师。参与多部教材编写工作。潜心探索以“批判性思维”为核心的思辨性阅读与“基于公民表达的写作教学”。迄今发表散文、随笔、论文、杂文百多万字...
七年级-从课堂到奥数-初中数学培优竞赛讲座 内容简介 从1985年我国**次派队参加国际数学奥林匹克(简称imo)以来,中国代表队134人参赛,共获得101块金...
细菌世界历险记-青少彩绘版 本书特色《名著小书坊(青少彩绘版)2·细菌世界历险记》,名著小书坊·青少彩绘版”系列依据教育部语文,精选世界文学大师的经典著作,针对...
张跃辉,上海交通大学数学学院 副教授,北京师范大学数学系博士研究生,获理学博士学位,研究方向:代数表示论,有序代数结构等。
《什么是技术》内容简介:“技术”,正如中世纪的“上帝”一样,已成为我们的“时代精神”。然而,这个占支配地位的“技术”究竟是
小学生最容易读错的词-(插图本) 本书特色 “101纠错系列”插图本这套书里,有很多你平时容易读错或用错的词语。只要你能认真地记住它们,相信在以后的生活和考试中...