《数理逻辑(第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 符号列表
索引
清华大学博士生入学考试英语试题选编 内容简介 本书为《清华大学博士生入学考试英语试题选编》修订版。修订版根据*新考试要求和题型,增加了听力、阅读写概要等内容;删...
叶广芩,国家一级作家,中国作家协会会员,被陕西省委省政府授予“德艺双馨”文艺工作者称号,享受国务院专家津贴。主要作品及获奖情况:著有长篇小说《采桑子》《全家福》...
小学英语晨读经典365-上-第3版--(附赠MP3光盘一张) 本书特色 一套将应试能力与实用能力完美结合的丛书!大批语言专家和国内一线英语老师的倾心力作!一套与...
哈佛大学2012年度“教育与社会”好书奖被翻译为多种语言,畅销全球,激励了全世界数百万大学生北京大学校长林建华、第三军医大学
1年级上册-RJ版-小学数学实验班培优15讲 本书特色 本丛书共6册,按学期分上、下册,供1—6年级的学生使用,与人教版教材完全同步。面向中等生,培养尖子生,是...
税务会计实务习题与项目实训 内容简介 《税务会计实务习题与项目实训》,本书作为《税务会计实务》的配套教材,是以*新税法和会计准则为依据,通过整合出的9个项目,对...
百年华大文脉 世纪学术薪火:华中师范大学图书馆现存馆藏武昌私立华中大学历届学生毕业论文选集:1932-1951年:第一辑 本书特色 张晓明主编的《百年华大文脉世...
运动康复治疗 内容简介 本书共分10章, 包括运动康复治疗概述、肌肉放松技术、水肿消除技术、扳机点治疗技术、关节松动技术、肌肉功能康复技术、核心区稳定性训练等内...
小学1年级-现代文课外阅读-新黑马阅读-第七次修订版- 本书特色 《新黑马阅读丛书·窦桂梅教你阅读·现代文课外阅读:小学一年级》是一套能够真正启迪孩子的心灵、激...
教学的智慧-来自世界最好的大学教师的经验 本书特色 教学的智慧:来自世界*好的大学教师的经验》围绕高质量大学教学的五个方面组织,试图揭示出这些优秀学者们为什么要...
网络传播理论与实践 内容简介 本书采用社会调查统计分析、比较研究、专家调查及案例分析、文献综述等方法,围绕网络媒体这一中心,对传播的几个关键环节,即网络媒体基本...
历届少年美文写作大赛获奖作品精选 本书特色 全球华人少年美文写作大赛被誉为中国的“少年诺贝尔文学奖”,已经举办多届,奖金超过百万人民币,参赛的全球华裔少年作家超...
专业英语类-金融英语教程 本书特色 沈素萍编著的《金融英语教程(专业英语类高等学校英语拓展系列教程)》从金融体系、世界银行、国际货币基金组织、蒙代尔欧元货...
浙江教育出版社出版的《中国少年儿童百科全书》(双色版)作为中国第一部少年儿童百科全书,自1991年儿童节出版以来,一直热销全国,被誉为国内图书市场的“常青树”。...
中国现代经典文学精选丛书(全10册) 本书特色 ★ 32开平装,四川人民出版社出版★ 小巧便携·全面完备·精品集锦,随机赠送白色或蓝色笔记本★ 品质卓越,著名评...
高中物理精英读本-上 本书特色《高中物理精英读本(上)》是为高中英才学生精心准备的高阶物理读本上册,是作为现行高中物理教材的补充,让高中阶段的精英学生在学习物理...
物理高分必备 本书特色 随着高考一天天的临近,面对每天的作业与试卷,考生的压力越来越大一课本上要记的知识点这么多,看起来每一条都是重点;要做的复习题那么多,似乎...
剑桥BEC真题集-第4辑(中级)-(附答案) 本书特色 《剑桥BEC真题集(第4辑)(中级)》:CAMBRIDGE UNIVERSITY PRESS IS TH...
本书在教育部“高等教育面向21世纪教学内容和课程体系改革计划”研究成果的基础上,根据教育部高等学校大学数学课程教学指导委员会最新制定的“工科类本科数学基础课程教...
《农村市场商品质量安全多元监控法律体系研究》内容简介:本书以全面建设小康社会和农村社会和谐与可持续发展为指导,立足于新农村