《数理逻辑(第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、 课前准备,帮助学生了解作家作品,扫除语言障碍。2、 课文讲解详细,原文与译文上下对照,清晰明了。3、 注重总结文言现象,有助于学...
方洲新概念--初中生话题作文分类精评大全(修订版) 内容简介 全国话题作文冠军畅销书“方洲新概念”话题作文系列,出版两年来受到全国中学师生的一致好评,并被多所学...
现代数学:1900-1950年 本书特色 本书记录了从古至今的10位享誉世界的著名数学家,他们都对数学的发展作出了突出的贡献,是面对挑战,克服前行道路上的障碍的...
英语诵读菁华 本书特色 这本美丽而亲切的小书,好似一条涓涓细流,淌过名著之林,缓缓流入你的心田……愿她如春雨般润泽,为你滤去学习的枯燥;似轻舟般灵动,助你游弋于...
绿山墙的安妮-世界少年文学精选-名家导读本 本书特色 露西·莫德·蒙哥玛丽(1874年—1942年)出生于加拿大的爱德华王子岛的克利夫顿(现在的新伦敦)。自幼喜...
美丽的与受诅咒的 本书特色 “经典英语文库”自**辑2013年8月上市至今,整套图书已出版六辑共90部作品。图书选本方面,皆来自世界经典名著,涉及政治、艺术、人...
最优美的散文:汉英珍藏版 内容简介 本书精选了50多篇世界上*具代表性的散文,所选篇目皆出自于名家,语言优美,意义深邃。本书内容广泛,包罗自然、社会、人生等方方...
提分有巧法.100位教师的绝招 内容简介 本书汇集了众多同学在多年学习实践中苦苦摸索出来的实战经验,且大多为首次披露。我们为什么要编写这样一部书呢?这有如下几个...
语料库批评翻译学概论 内容简介 本书系统介绍了语料库批评翻译学的定义、属性、研究意义、研究内容和研究路径,旨在构建语料库批评翻译学的理论框架,阐述语料库批评翻译...
工程结构荷载与可靠度设计原理-(第四版) 本书特色 李国强、黄宏伟、吴迅、刘沈如、孙飞飞*的《工程结构荷载与可靠度设计原理(第4版高校土木工程专业指导委员会规划...
立体构成 本书特色 立体构成是一门研究形态创造与造型设计的课程,它所涉及的范畴也十分广泛,如工业造型设计、建筑设计、雕塑设计、室内设计等。立体构成是现代造...
中国历史故事 本书特色 中华民族是一个具有悠久历史和灿烂文化的民族,在漫长的历史进程中,我国发生过无数轰轰烈烈的事件,涌现出许多叱咤风云的人物。本书在编撰时参考...
本书是同济大学数学系编《线性代数》的第五版,依据工科类本科线性代数课程教学基本要求(以下简称教学基本要求)修订而成。此次
《给教师的建议(全本纪念版)》内容简介:本书是苏联当代教育家苏霍姆林斯基为解决中小学教学过程中教师面临的实际问题、切实提高
外贸英语函电-(第七版) 本书特色 本书自**版问世至今24年经久不衰,发行量高达数十万册,荣获多个出版行业***奖项。本书第七版延续了以往的特点,其中之一是注...
小学生幽默笑话天天读 本书特色 幽默和笑话不仅能引人发笑,还蕴含着一定的道理和教育意义。引导小学生读一些幽默故事和笑话,对增长知识、启迪智慧、提高幽默感、培养综...
高中作文课怎样写物/高中作文第一课 本书特色 “高中作文课”丛书根据高中语文写作教学要求,从“怎样写人”&ldq...
《自尊女孩手册:培养快乐自信女孩的100个建议(家长和教师必读)》作者试图通过这些建议,告诉家长和教师如何:•认识当今女孩子面临