《数理逻辑(第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 符号列表
索引
《中国小说史略》内容简介:本书是中国小说史的一部开山著作,也是一部奠基著作。它初版于二十世纪二十年代,出版以后,以它丰富翔
牛津高阶英汉双解词典-第8版-(缩印本) 本书特色 《牛津高阶》为世所公认的权威英语学习词典,自1948年首次出版至今,全球销量已超过5000万册,惠及世...
班主任推荐系列:小学生最爱读的120个数学故事 内容简介 全国*优秀的班主任精心挑选了1000个故事,把1 00个班级作为试点,经过三年的教学实验,*终发现,这...
英美报刊核心商务术语释义 内容简介 世界的东方,刚刚加入世贸组织的中国展现出勃勃生机和无以抗拒的魅力。中国加速走向世界,世界急切拥抱中国。中国与世界的交流在各个...
本书介绍了60位数学家的生平,从1707年出生的欧拉到1903年出生的冯·诺伊曼。他们通过各自的思想、教学或是其他方式,对数学作出
五年级-小学生分类作文 本书特色 《书剑手把手·小学生名校作文:小学生分类作文(5年级)》品牌作文荣登全国精品作文排行榜!包括了小学五年级所涉及的各类作文,除了...
明代卫所政区研究 本书特色 《明代卫所政区研究》从准实土卫所和建置沿革入手,探讨明代卫所的行政区划制度。**章以普遍统计,归纳沿海卫所的政区形态;第二章选三种现...
FascinatingMathematicalPeopleisacollectionofinformalinterviewsandmemoirsofsixtee...
二十五史-学生版无障碍阅读 本书特色 中华民族一向秉持着忠实、严谨的态度来记录历史,这种传统让我国在数千年的文明发展过程中保留了大量的历史资粮,把中国史学主干的...
内河航运船舶视觉跟踪算法 内容简介 随着网络和计算机技术的飞速发展。内河航道信息化成为航运安全监管的一种有效途径,航运视频监控系统在海事监管中发挥着越来越重要的...
剑桥BEC真题集-第4辑(中级)-(附答案) 本书特色 《剑桥BEC真题集(第4辑)(中级)》:CAMBRIDGE UNIVERSITY PRESS IS TH...
穿过历史线 吃透小古文-(第1册) 本书特色 1. 国内首套把文言文放在“历史线”中来讲解的学习读本,用一条历史线贯穿起小学、初中、高中全部文言文阅读经典篇目,...
小学生必背古诗文 本书特色 《中华国学百部》6元本系列丛书贯穿着“海纳百川成其大、通流万卷始于精”的人文思想,汇集了中华传统国学中经、史、子、集的精华和*具代表...
《书房一角》内容简介:《周作人自编集:书房一角》可谓《药堂语录》的姊妹篇,收入周作人读书随感一百九十一则,亦是其“涉猎前人
剑桥流利英语(2)写作 内容简介 《剑桥流利英语》丛书是为训练英语听、说、读、写能力而编写的一套强化教材;分1、2、3、4级,分别针对初中级、中级、中高级、高级...
新大学法语-1-第二版-教学参考书 内容简介 《大学法语》是根据1992年颁布的《大学法语教学大纲》编写的。2002年《大学法语教学大纲》(第二版)经教...
信息检索与利用 本书特色 《信息检索与利用》特点:教学目标明确,注重理论与实践的结合教学方法灵活,培养学生自主学习的能力教学内容先进,满足专业人才的社会需求教学...
有限元分析-ANSYS理论与应用(第三版) 内容简介 本书详细讲述了ANSYS程序在有限元分析中的应用。它先给出有限元分析的一般理论,然后用具体的例子详细说明了...
法治思维与法治理念 本书特色 “法律素养与依法治国”系列丛书旨在总结整理清华大学司法培训中心在过去十年主持的法律人培训教学的相关成果,并...
汉德大词典 本书特色 本词典包括约120,000汉语词条和用法·合乎文体的翻译方式和灵活的德文译文·精确的各学科*新德语专业用语·所有汉字标注汉语拼音·*新德语...