《数理逻辑(第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 符号列表
索引
《植物的算法美》首先介绍Lindermayer系统,然后根据植物生长的自相似性,通过研究植物的生长规则,利用分形几何的知识建立了数学
读者文摘美文(学生版)·无法抵挡的心灵花香 本书特色 本套书融各类精品文章于一体,主旨在于陶冶情操、启迪智慧;用真实质朴的文字,讲述了一个个感人至深、发人深省的...
语文必读名著:森林报 春 本书特色 《学生语文必读丛书:森林报?春》是一份独特的报纸,没有记录人类的忙碌喧嚣,也没有描绘城市的钢筋水泥,每个版面都在报道来自森林...
森林报 本书特色 比安基笔下的大森林里,所有的动植物都有着丰富的情感。它们遵循着大自然的法则,每天都经历着生存与毁灭、斗争与互助、繁衍生息…,,让...
美国热点漫画欣赏·英汉对照·文化阅读.1 内容简介 对于在国内研究西方社会的人来说,时政漫画提供了通常你无法看到的文化层面:那里的人们忧虑着什么,争论着什么,彼...
教师如何作质的研究 内容简介 本书结合教育研究领域中的有关问题对“质的研究”的基本思路、实施方法和操作技巧进行了探讨,在介绍方法的同时提供了大量的研究实例,把读...
《孩子们的音乐之旅——奇妙世界》内容简介:孩子们的音乐之旅是一套专门为我国3—6岁的幼儿编写的音乐绘本图书。62首外国器乐作品
永别了.武器 本书特色《永别了,武器》是欧内斯特·海明威唯一一部自传式长篇小说。美国青年亨利在**次世界大战期间志愿到意大利北部参加战争,与英国护士凯瑟琳相识并...
精彩摘录由于人们对于人口、环境、资源等问题的普遍关注,生态学这个术语已经是广为人知的名词。例如,已经有十余个发达国家出现
机械制图-(第三版) 本书特色 《机械制图(第3版)》作为立体化教材包的主教材,与之相配套的还有助学、助教课件,学习指导等相关教材。机械制图-(第三版) 目录 ...
金银岛 本书特色 《金银岛》是斯蒂文森的成名之作,也是他众多作品中流传*广、*久的一部小说。书中描写一位男孩不经意间卷入了一场刺激危险的寻宝行动;在命运的摆弄下...
变分法-理论与应用 内容简介 本书不仅对变分法的基本概念、理论和方法作了严谨的介绍和论述,而且特别注重介绍变为法在解决椭圆型方程中的应用等内容。变分法-理论与应...
高等学校数据结构课程系列教材算法设计与分析(第2版)/李春葆等 本书特色 本书系统地介绍了各种常用的算法设计策略,包括递归、分治法、蛮力法、回溯法、分枝限界法、...
中国古代历史三百题 本书特色 一部专门为广大师生和历史爱好者倾心打造的精品图书*史料翔实,阐述精妙,融知识性和趣味性于一体。*以问答的形式编写,针对性强。*按时...
宫泽贤治短篇作品选(日汉对照.精装有声版) 本书特色 为什么选择《宫泽贤治短篇作品选(日汉对照.精装有声版)》? 1. 日汉对照:左侧日文原著+右侧中文名译,逐...
团购:英汉词典2册 本书特色 精装《英汉汉英词典》《英汉双解词典》2册,外文出版社出版。编排科学,收词量大,释义简明,例句丰富,查阅方便,有较强的实用性。可满足...
工程建设监理概论 -第3版 本书特色 本书是21世纪高等教育土木工程系列规划教材之一,本书内容共7章,包括总论、监理工程师、工程建设监理企业、工程建设目标控制、...
茶花女 本书特色 像这样的女子,沦落风尘,却有着赤子般纯真的心灵;像这样的女子,被世人轻视,却有着牺牲自己,成全他人的勇气;像这样的女子,身单力薄,却有着忍受一...
文学欣赏 本书特色 文学欣赏是高职院校公共素质课教材,主要针对刚入学大学生文化素养缺失,对大学生进行必要的传统中外文化的教学,培养大学生的文化素养和人文素养。本...
土木工程自主实验教程 本书特色 为了培养土木工程专业学生的工程意识与创新能 力,在本科培养计划中建议专门设立自主创新型实验 课程,为此编写了《土木工程自主实验教...