《数理逻辑(第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年级-亲近数学 本书特色 以小学数学课程标准为依托,在顺序上与学生学习过程基本保持一致,内容上与课堂知识有紧密的联系。但绝不是课堂教学内容的简单重复,而是...
英语意义和文化 本书特色 《英语:意义和文化》是当代国外语言学与应用语言学文库英语意义和文化 内容简介 本书是“自然语义元语言(nsm)”理论的一本重要著述。作...
五年级-小学数学培优竞赛讲座 内容简介 本丛书设计新颖,方便学生、老师和家长使用,分小学三年级、四年级、五年级、六年级共四册,每册分培优篇和竞赛篇两大部分。五年...
中国美学史 内容简介 本书在讲述中国美学史的发展历程时,以天下美学观贯穿,按从古至今的顺序展开,上溯至远古美学、春秋战国美学、秦汉美学,中及魏晋南北朝美学、隋唐...
初中数学培优教程(七年级)(第二版) 本书特色 1.立足于教材但又不拘于教材,围绕重点突破难点,注重学生数学思想方法和能力的培养. 2.书中内容整体难度略高于中...
小学教育学(第二版) 本书特色 本书是在总结以往教育学课程教材建设经验的基础上,由人民教育出版社教师教育课程教材研究开发中心(简称教师教育中心)组织编写的,供全...
《三角函数超入门》涉及到的所有知识点都没有超出高中数学范围,其间还有不少是对初中知识点的复习。总之,尽量把入门门槛降低以
全书分14章,内容包括:数字游戏与几何游戏、多面体、棋盘上的游戏、魔方、地图染色问题、一笔画问题以及计算神童小传等。目录
通用德语语法(附光盘) 内容简介 本书系统地讲述了德语的语音,词法和句法,对德语的词形变化,构词方法和句子的结构,成分,语序,用法及其特点,以及在实际应用中出现...
语文课程标准课外读物导读丛书:克雷洛夫寓言(注音插图本) 目录 导读乌鸦与狐狸贪心人和母鸡青蛙和天神 杰米扬的鱼汤鹰和蜘蛛鹰和鼹鼠四重奏天鹅、梭鱼和大虾特利施卡...
2006中国年度优秀小学生作文 本书特色 通过本书,您可读到2006年小学生*好的作文,《金奖作文》、《名校佳作》、《想像佳作》、《童话寓言》,令人叹为观止,向...
社会科学导论(第12版) 本书特色 亨特、柯兰德所著的《社会科学导论(第12版)》章节的安排甚有系统,对社会科学各学门的兼顾也很周全,不但可以使学生对各领域之重...
智能信息处理技术原理与应用 本书特色 本教材的内容涉及模糊理论、数据融合、神经网络、遗传算法及传感技术等相关内容,并着重介绍数据融合技术的原理、特点及具体应用方...
《典型城市空气质量达标及碳排放达峰路径研究》内容简介:当前,我国面临着空气污染和气候变化的双重挑战,城市层级空气污染治理的
劳动力流动的政治经济学 本书特色 当代经济学系列丛书。 本丛书致力于推动中国经济学的现代化和国际标准化,力图在一个不太长的时期内,从研究范围、研究内容、研究方法...
胡适(1891-1962),安徽绩溪上庄村人,因提倡文学革命、思想革命而成为新文化运动的领袖之一。胡适兴趣广泛,著述宏富,在文学、哲学、史学等诸多领域都有开创性...
语文-北京市重点城区2年中考模拟试卷-2014中考必备 本书特色 全真原题原卷 新题型 新趋势 重点 难点 热点语文-北京市重点城区2年中考模拟试卷-2014中...
公司治理-组织视角-(第2版) 本书特色 本书旨在解析有关公司治理的各种关键问题,包括战略监控、风险管理及高管继任计划等。本书兼具学术深度和内容广度,是公司治理...