《数理逻辑(第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 符号列表
索引
Bard Ermentrout is Professor of Computational Biology and Professor of Mathemati...
童趣知识歌诀丛书童趣学成语 本书特色 本书作者结合学龄儿童相应的知识水平和认知特点,把小学低年级学生(6-9岁)应该知道的(课本内的、课本外的)词语、成语、历史...
《现代数学基础:多复变函数论》包含多复变函数研究中分析、层论与复几何这三个最主要方面的主要研究成果与方法。较之国内外相应的
哭鼻子大王-小学生必读名家 本书特色 《哭鼻子大王》是叶永烈爷爷1982年创作的一部长篇童话,后来被改编成六集动画电影,还获得了“华表奖”。叶爷爷在开篇就提醒读...
1985-2015-基于共词可视化的教育政策基本问题研究30年 本书特色 教育政策是教育政策主体在一定时期内为实现特定教育目标而制定的行动准则或行动规范,教育政...
笹部贞市郎,1887年生于日本本州冈山县手庄村(现高粱市),因家庭经济原因没有继续升学,只接受过8年普通高等小学的正规教育。后来通过努力,自学取得了小学教师、中...
儿童本位的翻译研究与文学批评 本书特色 《儿童本位的翻译研究与文学批评》是作者十五年儿童文学与翻译研究的汇总,体现着作者作为研究者的使命感和生命诉求。本书采用儿...
2007中国年度初中生优秀作文 本书特色 中国初中生作文的优秀范例!超大容量,250篇佳作,篇篇精彩!金奖作文、作文大赛、桂冠这样摘来!名校佳作,才思飞扬,彰显...
作品目录第八章向量代数与空间解析几何第一节向量及其线性运算一、向量的概念二、向量的线性运算三、空间直角坐标系四、利用坐标
美学(第三版) 内容简介 本书是教育部面向21世纪课程教材之一。2001年初版,2006年第二版。受到高校学生的欢迎,为进一步提高质量,拟在原有基础上作适当修订...
初中生获奖作文宝典 内容简介 《初中生获奖作文宝典》的习作,依照"轻松作文"的主旨,筛选与我们每一位同学相近相似的人、事、物,力图使这些获奖习作与同学们"零距离...
英语音标-耿小辉实用英语大全-一次彻底学会 本书特色 本书系统讲解48个国际音标,每个音标的学习都配有真人口形图、发音要诀和多种发音练习,并且归纳该音标的常见发...
小学生获奖作文-中国最佳作文库 本书特色 文学大师谈写作,树立作文新标杆。30个省市教研室联合供稿,108位优秀教师参与评审。小学生获奖作文-中国最佳作文库 内...
课程:教师的创新-(第3版) 本书特色 课程:教师的创新 第3版 本书是著名课程专家麦克尼尔的*新力作,全书以建构主义的视角对课程开发与实施进行全程...
《代数基本概念》是沙法列维奇的经典名著之一,目的是对代数学、它的基本概念和主要分支提供一个一般性的全面概述,论述代数学及其在现代数学和其他科学中的地位。《代数基...
《基于化学核心观念的教学实践研究》内容简介:基于核心观念建构的教学是落实化学学科核心素养的重要途径,要培养学生用化学学科观
让孩子爱上英语的200个快乐游戏 本书特色 本书精选适合孩子的200个英语游戏,融知识性、趣味性于一体,目的在于培养孩子们对英语的感性认识和兴趣,在动脑和动手的...
这样学日语最有效:速记日语汉字1945个(含光盘) 本书特色 《这样学日语*有效:学50音会基础会话》为该丛书之一,主要教你掌握简单、实用、使用频率高的单词和实...
美国国家工程院|英国皇家学会双院士|冯·诺依曼奖获得者的数学思考中国科学院汤涛院士推荐给年轻人的人文读物◎ 编辑推荐·体悟数学大家的心路历程·感受应用数学的价值...
中西医结合执业医师资格考试拿分考典-医师资格考试-最新版 本书特色 《中医执业医师资格考试拿分考典》编委会编著的《医师资格考试中西医结合执业医师资格考试拿分考典...