《数理逻辑(第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 符号列表
索引
中外写作趣谈 内容简介 为了能深入浅出地介绍写作理论,本书从古今中外的一些作家及艺术家的创作趣闻、轶事中,选取了一些对写作有所启示的材料,写成故事,寓写作知识于...
王陆807雅思词汇精讲.写作篇 本书特色 随书附赠光盘一张。本书是一部以讲解雅思写作核心词汇为线索的书。全书分为两个部分:807写作核心词汇和807写作拓展词汇...
金典英语词汇达标--高考词汇2400 本书特色 词汇是构成语言的基本要素,掌握词汇,尤其是动词用法是学习英语的关键所在。本书专为即将参加高考的学生设计,为短期内...
精选毛泽东诗词与诗意画(英汉对照) 本书特色 毛泽东诗词的广泛传播,与其诗词本身所具有的博大的思想内容、豪迈的气势和永恒的艺术魅力分不开。毛泽东诗词反映了中国革...
达尔文与进化论-通识读本-典藏版 本书特色 150年前,达尔文在他的著作《物种起源》中发表了一个震撼世界的伟大理论——进化论,他的观点**颠覆了传统基督教的“神...
稻草人 本书特色 《稻草人》是叶圣陶1922年发表的中国现代童话。通过一个富有同情心而又无能为力的稻草人的所见所思,真实地描写了二十世纪二十年代中国农村风雨飘摇...
《深入浅出AI算法:基础概览》内容简介:本书从理论到实践,循序渐进地介绍了人工智能算法的基础知识,帮助读者敲开人工智能算法之
九章算术校证 内容简介 本书包括《九章》的版本流传与校勘; 校勘《九章》的宗旨与原则; 关于《九章》的体例与“底本”的选取等内容。九章算术校证 目录 导言关于《...
国史新论 本书特色 《国史新论》作者钱穆“旨求通俗,义取综合”,从中国的社会文化演变、传统的政治教育制度等多个侧面,融古今、贯诸端,对中国几千年历史之特质、症结...
罗斯·格雷戈里·多塞特(RossGregoryDouthat),生于1979年,美国保守主义作家、博客家。他是《大西洋月刊》的高级编辑、《国家
唐诗-诗词名篇-读经典.写汉字-6 本书特色 本书采用书法家签字笔字体,结合中学生必背内容,精选了唐代诗歌。左栏有“读字部分”,延展栏目涉及“诗风诗格”“诗人逸...
巴黎圣母院 本书特色 《巴黎圣母院/中学语文必读丛书》是法国作家雨果的**部大型浪漫主义小说,故事曲折跌宕、情调诡奇幽昧、气势雄浑磅礴,携带着史诗般的...
中国文化概论 本书特色 本教材是全国高等教育自学考试秘书学专业(独立本科段)必修课程指定教材,按照2015年修订的该课程自学考试大纲编写。教材主要内容是有关中国...
口语交际艺术 本书特色 本书共分十四章,内容主要包括秘书与口语交际、语言环境、话语的适度原则、听-说策略、语用障碍、言语行为、秘书口语修辞、口语交际与社会、口语...
第十届全国新概念作文大赛获奖作品选 本书特色 《第十届全国新概念作文大赛获奖作品选》从一等奖以及二等奖作品中精心遴选而成,文字优美动人,内容真挚细腻,题材丰富有...
只要改變順序,就能改變結果!即使成績吊車尾,也能一舉通過超難考試!★日本亞馬遜冠軍暢銷書,上市一週立刻再刷一萬本!★上榜
华德福教育之道 本书特色 作者从一个资深教育者的视角出发,用生动的语言谈及华德福领域的教学中教师工作的各个方面,细至教学楼、教职工会议、儿童研究、教师的自我教育...
天天向上丛书-我的第一套趣味科学实验书-玩转科学 本书特色 一成不变的阅读,如同一成不变的生活,只会在原地踏步中不断重复自我。《天天向上丛书》是你随心所欲的自助...
高等数学(上册) 内容简介 《高等数学》是高等院校一门传统的基础课。它在传授知识、启发学生思维和培养学生能力等方面都具有重要的作用。本书的特点是:文字通俗易懂,...
数学分析 本书特色 《高等学校教材:数学分析》内容丰富,语言精炼,特别注意理论与应用相结合,古典分析方法与现代分析方法相结合。全书共分十六章,可供三学期教学之用...