3.集合的三大公理
集合论依赖于三大基本公理,它们从根本上规定了集合概念的意义。
(1)外延公理两个集合A和B相等的充分必要条件是它们具有相同的元素���
外延公理刻画了集合的下列特性:
?互异性:集合中没有重复的元素,即每个元素只出现一次。
?无序性:集合中的元素可以没有固定顺序,即集合的表示形式不惟一。
?确定性:任一元素要么属于某集合,要么不属于某集合。
(2)概括公理构成一个集合应符合两个条件;
?纯粹性:凡该集合中的元素都具有某种性质。
?完备性:凡具有某种性质的元素都在该集合中。
概括公理规定了集合描述法的理论依据和集合元素的确定性。
(3)正则公理 不存在集合A1,A2,A3,…,使得…A3∈A2∈A1。
正则公理表明集合和它的元素之间具有层次关系。对任何集合S,{S}≠S,从而规定了集合{S}与S的不同层次性。因为一个集合是由它的成员构成的,是先有成员后才形成集合,所以一个正在形成的集合便不能作为一个实体充当本集合的成员,否则将在概念上产生循环,导致悖论。
数据结构是计算机及相关专业的一门重要的专业基础课,也是计算机及相关专业考研和水平等级考试的必考科目,而且正逐渐发展成为众多理工专业的热门选修课。它所讨论的知识内容和提倡的技术方法,无论对进步学习计算机领域的其他课程,还是对从事软件工程的开发,都有着不可替代的作用。
数据结构课程知识丰富,内容抽象,学习量大,隐藏在各部分内容中的方法和技术多。本书的编写者长期从事数据结构课程的教学,对课程的教学特点和难点有比较深切的体会。在总结讲授数据结构课程的基础上,对多年来形成的数据结构课程的教学内容进行了合理的剪裁和重组,既强调数据结构的原理和方法,又注重其实践性与实用性。本书具有以下特色:
?系统性强注重与前导课的知识衔接,知识单元的前驱和后继关系安排合理,每一章的内容主线清晰。
?启发性强精心安排的人物小传和思想火花,以及具有启发性的习题和思考题,引导学生的思维过程。
?实用性强随书光盘给出了本书所有算法的C++程序实现,提供了学生电子笔记、算法和图解素材、英汉词汇表。
?深入浅出采用分析、伪代码、C++描述三级模式讲解算法,并设计了250多个插图,降低了理解问题的复杂性。
?案例驱动每种数据结构给出若干应用实例,提倡从实用性和实践性的角度学习数据结构,并通过一个案例将书中所有的数据结构贯穿起来。