《数理逻辑(第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 符号列表
索引
《我是一支爱写作的铅笔》童书作家山姆·史沃普在美国纽约皇后区的一所小学开办写作工作坊,教小学三年级的孩子们写作。这是个极
游戏和儿童发展 内容简介 《美国幼儿教师专业指导·学前教育指导译丛:游戏和儿童发展》着重探讨游戏与儿童发展(包括婴儿、学步儿、学前儿童、学龄儿童)的关系,在追溯...
30年小学生获奖作文-珍藏版 本书特色 “天下作文”涵盖*丰富的内容,*简洁有效的作文方法,*经典实用的作文素材。“天下作文”由百所名校名师联合打造,旨在为广大...
数据处理与管理(Excel.Access及文献检索) 内容简介 以“着力提升大学生信息素养和信息应用能力”为目标,使学生通过本课程的学习和实践,掌握利用计算机硬...
我的大学-创美文学馆世界经典名著 本书特色 《我的大学》是高尔基自传体小说三部曲中的*后一部。《我的大学》记述了阿廖沙在喀山时期的生活。16岁时,阿瘳沙带着梦想...
匹爽威克外传 本书特色 《匹克威克外传》的成功是出版史上的一个奇迹,一开头它并不受人重视,但到了1837年春天,社会上却猛然出现了一股“匹克威克热”,不管是达官...
《只能这样吗 不一定吧》内容简介:《这是苹果吗也许是吧》《好无聊啊好无聊》作者吉竹伸介新作! 获3000位店员评选的“MOE绘本书店
黑色郁金香(2000-2500单词) 内容简介 “纯英文名著分级阅读丛书”是一套精选的适合中学生阅读的世界经典名著,语言地道流畅,简约优美。为了准确划分出单词量...
英文诵典-附赠MP3光盘 本书特色 《英文诵典》:出口成章才是真功夫!美国应用学会强力推荐经典名著的名篇·发人深省的时文·感人肺腑的书信·撼人心魄的演说。隽永婉...
法理学 内容简介 《中央广播电视大学教材:法理学(第2版)》力求以马克思主义中国化的*新成就--邓小平理论、三个代表重要思想和科学发展观为指导,紧密结合时代特点...
文思博要—英汉对照—人性论 本书特色 大卫·休谟(David Hume,1711-1776),出生在苏格兰爱丁堡一个没落贵族家庭。这家人喜欢自称是古老的霍谟(H...
小学生限字作文400字 本书特色 本书选编了各类优秀作文,按从低幼到中高的顺序编写了这套200~900字的限字作文丛书,供中小学生借鉴。全套丛书多层次展现了作文...
成语接龙:注音美绘版 本书特色 本书以接龙游戏的方式收集了小学生应该掌握的数百条成语,通过首尾相接的形式把它们串联起来,这样可以让孩子们在游戏的同事快速记住大量...
大学文科基本用书·文学唐诗宋词(第2版)/程郁缀 本书特色 这是一部供大学文科使用的中国古代文学专题课教材。本书为《唐诗宋词》部分。本书在概述了唐诗宋词的发展概...
怎样教作文-先生教你写文章 本书特色 《怎样教作文》精选整个二十世纪有关作文教学的优秀文章,作者有刘半农、梁启超、夏丐尊、周振甫等诸先生,他们都是二...
高校招生考试问题研究 本书特色 “当代中国重大教育问题史系列研究丛书”是由中央教育科学研究所方晓东研究员主持的全国教育科学规划教育部重点课题“当代中国重大教育问...
西游记-(学生版) 本书特色 混沌未分天地乱,茫茫渺渺无人见。自从盘古破鸿蒙,开辟从兹清浊辨。覆载群生仰至仁,发明万物皆成善。欲知造化会元功,须看西游释厄转。西...
1917-2012-中国现代文学史-(下)-第二版 本书特色 《中国现代文学史1917-2012(下)(第二版)》是在《中国现代文学史1917-2000》(下)...
大学书法隶书临摹教程 内容简介 《大学书法教材大学书法隶书临摹教程》为《大学书法教材》之《大学书法隶书临摹教程》分册,书中包括了:隶书起源问题的由来和廓清、隶书...
推荐阅读名著·彩插励志版地球的故事(励志版) 本书特色 在这本书里,房龙打破了常规地理书的写作方式,不仅简要地介绍了基本的地理知识,还视角独特地从地理的角度讲述...