《数理逻辑(第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 符号列表
索引
《儿童思维发展(第4版)》儿童思维发展是一个引人入胜的研究领域。大家都曾经有过自己的童年,很多人也都有,或者将来来会有自己的
心灵鸡汤-路过心上的美丽英文 本书特色 《心灵鸡汤》系列发行56个国家,被译为40多种语言。全球畅销上亿册,是美国乃至世界各国公认的权威心灵成长读物。本书汇集了...
中日交流标准日本语 中级词汇手册 本书特色 《新版中日交流标准日本语中级词汇手册》由人民教育出版社出版。中日交流标准日本语 中级词汇手册 内容简介 《中日交流标...
小学奥数创新解题法 内容简介 本书系统介绍了*常用、*实用的三种解题方法,即:假设法、图解法和抓不变量法.不但拓展了假设法的解题范围,还介绍了一种新的图解法一一...
大学生党员培养理论与方法 本书特色 《大学生党员培养理论与方法》:高校辅导员专业化丛书。大学生党员培养理论与方法 内容简介 本书从增强中国共产党的阶级基础和扩大...
长头发狮子 本书特色 有三只霸王龙,爸爸叫达古,妈妈叫艾妮,小儿子叫呼呼,呼呼一只可爱而憨厚的小霸王龙。爱尿床、爱练功、力气大、胃口好,还特别爱吃爆米花。是个让...
陈超,1958年生于山西省太原市。生前为河北师范大学文学院教授,博士生导师。兼任北京大学中国新诗研究所特聘研究员,《新诗评论》编委。中国作家协会会员,河北省作家...
李恭卷-陇上学人文存 内容简介 李恭(1901-1970),已故西北师院教授,语言文字学家。曾任兰州市教育局副局长,政协兰州市委员会委员、常委。出版著作有《陇右...
本书是中译本修订第二版。第一版是已故丁寿田先生根据苏联法杰耶夫和索明斯基所著译出的《高等代数习题》。1977年,苏联科学出版
民主.经验.教育 内容简介 经验并不仅仅是在个体内部进行。尽管它确实影响着个体的态度、愿望和目的的发展,但是,这不是事情的全部。每一真正的经验都具有其积极的一面...
平面解析几何方法与研究-第3卷 内容简介 《平面解析几何方法与研究》一书全面系统地介绍了欧氏平面解析几何的有关重要内容,是作者参考了多种有关论若并结合自己的教学...
语法的效能与复杂度 本书特色 《语法的效能与复杂度》:西方语言学与应用语言学视野·西方语言学视野语法的效能与复杂度 内容简介 《语法的效能与复杂度》着重讨论了语...
我们中国人的文化中,“情欲”这个词是不应该与儿童连在一起的。在我们五千年的文化史中,儿童的生命被认为是“无性”的状态,这
做最美的自己 本书特色 《做美的自己》是哈尔滨工业大学出版社出版的《全国中考语文热点作家作品精选》系列丛书之一,是著名作家崔修建的美文作品精选集,是适合青少年阅...
《数值分析》以收敛性、复杂性、条件作用、压缩和正交性这5个主要思想为核心进行展开。内容包括求解方程组、插值、最小二乘、数值
团购:每天读点好英文5册 本书特色 ★ 16开平装,海豚出版社出版★ 融合了欧美文坛巨匠的短篇精华,很多都出自一流小说家的手笔★ 内文篇目均取自国外*经典、*权...
在法国印象派画家中,克劳德·莫奈(1840~1926)是最具代表性的画家。从早期对阳光的迷恋到一生对表现光影的探索,共为世人留下了两千多幅油画、五百多件素描、两...
结构篇-王羲之《兰亭序》-学生书法20练 本书特色 王羲之是东晋的大书家,号称“书圣”,他所著的《兰亭序》是“天下**行书”,也是历代行书的入门字帖。张...
国际物理奥赛的培训与选拔-(第二版) 内容简介 《国际物理奥赛的培训与选拔(第二版)》由担任2000~2003年国际物理奥赛国家集训队教练的6位复旦大学物理系教...
《变量中的常量:函数的故事》内容简介:本书故事的引人入胜与数学原理的巧妙结合,会产生一种奇特的反应,让读者在故事的流连忘返