本书阐述数学证明的基本原理,主要包括证明方法和证明理论,是探讨证明方法和证明理论内在联系和本质特征的数学专著。 “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法,分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。 “证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论,介绍了这些理论的发展脉络,分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。 本书力图解决以下问题:什么是数学证明?数学证明的通用方法有哪些?关于数学证明取得了哪些重要认识? 作为跨学科研究的尝试,本书可作为证明论、逻辑、计算机科学与技术、数学哲学等相关领域专业工作者的教材或参考书。
《冲刺名初·外国语学校:英语》是《冲刺名初·外国语学校》丛书的“英语”分册,该丛书针对择校分班考试(包括外国语学校入学考试),通过高频考点,构建复习网络;通过择校题型,直取高分捷径;通过名校真题,冲刺重点。
我国组队参加国际学科奥林匹克竞赛,是在广泛开展全国性学科竞赛系列活动的基础上开始的。多年的实践证明,学科竞赛对帮助青少年树立科学、爱科学、用科学的良好风尚发挥了积极的作用,并已成为青少年广泛参与的普及性学科竞赛活动。 学科竞赛旨在培养学生的学科兴趣,拓宽学生的知识面,是学有余力的学生的重要的课余活动。 学科竞赛方面的读物很多,多数是解题,使同学们掉进题海中不能自拔、不能举一反三。 本丛书作为竞赛教材编写,既注意到知识覆盖面,又强调了重点、难点;既注意到基本概念的阐述,又强调了应用,提高解题能力;既注意到知识性,又强调了趣味情。这样使读者怀着好奇心去阅读本丛书,从阅读中去理解基本概念,再从理解中去应用基本概念,达到增强解题能力、举一反三的效果。
《初中英语词汇与语法300题(提高卷)》分词汇、词法、句法三部分,分别就初中英语教学要求及中考英语中词汇、语法部分的考点进行了分类讲解和训练。题目的难度和形式与考试要求相同,可供读者视自身学习情况选做书中的专项练习或综合练习。 《初中英语词汇与语法300题(提高卷)》可供初中生巩固、练习语法与词汇方面的能力,也可作为中考的复习参考用书。