1、计算学科中的数学方法,数学的基本特征,数学方法,是指解决数学问题的策略、途径和步骤，它是计算学科中最根本的研究方法。 理论上，凡能被计算机处理的问题均可以转换为一个数学问题，换言之，所有能被计算机处理的问题均可以用数学方法解决； 反之，凡能以离散数学为代表的构造性数学方法描述的问题，当该问题所涉及的论域为有穷，或虽为无穷但存在有穷表示时，这个问题也一定能用计算机来处理。,数学的基本特征,高度的抽象性 ：量的关系和空间的形式 逻辑的严密性 ：严格遵守形式逻辑的基本法则，充分保证逻辑的可靠性，才能保证结论的正确性。 普遍的适用性 ：数学的高度抽象性决定了它的普遍适用性。,数学方法的作用,为科学技术
2、研究提供简洁精确的形式化语言 为科学技术研究提供数量分析和计算的方法为科学技术研究提供了逻辑推理的工具,计算学科中的数学方法,计算学科中常用的数学概念和术语,集合,集合的概念 构造性数学方法的基础。 集合就是一组无重复的对象的全体。 集合中的对象称为集合的元素。 如：计算机专业学生全部必修课程可以组成一个集合，其中的每门课程就是这一集合中的元素。 集合的描述方法 通常用大写字母表示集合，用小写字母表示元素,集合的三种描述方法,枚举法：列出所有元素的表示方法。 如1至5的整数集合可表示为： =1，2，3，4，5； 外延表示法：当集合中所列元素的一般形式很明显时，可只列出部分元素，其他则用省略号表
3、示。 如斐波那契数列可表示为： 0，1，1，2，3，5，8，13，21，34， ； 谓词表示法：用谓词来概括集合中元素的属性。 如斐波那契数列可表示为：Fn|Fn+2=Fn+1+Fn，F0=0，F1=1，n0,集合的运算,集合的并 设A、B为两个任意集合，所有属于A或属于B的元素构成的集合C，称为A和B的并集。可表示为：CABxxAxB。 求并集的运算称为并（运算）。 例5.1 若A=a，b，c，d，B=b，d，e，求集合A和B的并。 解：ABa，b，c，d，e,集合的差,设A、B为两个任意集合，所有属于A而不属于B的一切元素构成的集合S，称为A和B的差集。可表示为：S=AB=xxAxB。 求
4、差集的运算称为差（运算）。例5.2 若A=a，b，c，d，B=b，d，e，求集合A和B的差。 解：AB=a，c,交集的交,设A、B为两个任意集合，由和的所有相同元素构成的集合C，称为A和B的交集。可表示为：CABxxAxB。 求交集的运算称为交（运算）。 例5.3 若A=x | x -5，B=x|x5xx1x5x1,集合的补,设I为全集，A为I的任意一子集，IA则为A的补集，记为。可表示为=IA=xxI， 求补集的运算称为补（运算）求补集的运算称为补（运算） 例5.4 若I=x5x5，A=x0x1，求。 解：=IA=x5x01x5,集合的乘积,1集合A1，A2，An的乘积一般用法国数学家笛卡尔
5、（Rene Descartes）的名字命名，即笛卡尔积。该乘积表示如下： A1A2An=（a1，a2，an）aiAi，i1，2，n A1A2An的结果是一个有序元组的集合。 例5.5 若A=1，2，3，B=a，b，求AB。 解：AB=（1，a），（1，b），（2，a），（2，b），（3，a），（3，b）,函数,函数又称映射，是指把输入转变成输出的运算，该运算也可理解为从某一“定义域”的对象到某一“值域”的对象的映射。函数是程序设计的基础，程序定义了计算函数的算法，而定义函数的方法又影响着程序语言的设计，好的程序设计语言一般都便于函数的计算。 设f为一个函数，当输入值为a时输出值为b，则记作：,
6、关系,关系是一个谓词，其定义域为k元组的集合。通常的关系为二元关系，其定义域为有序对的集合，在这个集合中，我们说有序对的第一个元素和第二个元素有关系。如学生选课 学生 课程 成绩张三 文学 90张三 哲学 95李四 数学 80李四 艺术 85王五 历史 92王五 文学 88,等价关系,在关系中，有一种特殊的关系，即等价关系，它满足以下3个条件： 自反性，即对集合中的每一个元素a，都有aRa； 对称性，即对集合中的任意元素a，b，aRb成立当且仅当bRa成立； 传递性，即对集合中的任意元素a，b，c，若aRb和bRc成立，则aRc一定成立。 等价关系的一个重要性质是：集合A上的一个等价关系R可将
7、A划分为若干个互不相交的子集，称为等价类。,例5.6 证明非负整数N上的模3的同余关系R为等价关系,证明：首先将该关系形式化地表示为：R=(a，b)a，bN，a mod 3=b mod 3 自反性证明 对集合中的任何一个元素aN，都有a mod 3= a mod 3； 对称性证明 对集合中的任意元素a，bN，若a mod 3=b mod 3，则有 b mod 3=a mod 3； 传递性证明 对集合中的任意元素a，b，cN，若a mod 3=b mod 3，b mod 3=c mod 3，则有a mod 3=c mod 3。,例5.7 假设某人在唱歌（事件e1）的同时，还可以开车（事件e2）或
8、者步行（事件e3），但一个人不能同时开车和步行。 问：以上反映的并发现象，如用关系来表示时，是否是等价关系？ 答：以上反映的是一种并发（co）现象，如用关系来表示，则这种并发关系具有自反性和对称性， 即可表示为：e1 co e1，e2 co e2，e3 co e3；及e1 co e2（或e2 co e1），e1 co e3（或e3 co e1）， 不满足传递性，即（e2 co e1）（e1 co e3）不能推出e2 co e3，即不能在开车的同时，又步行。 因此，以上并发关系不是等价关系。,计算学科中的数学方法,计算学科中常用的数学概念和术语,所有的计算机程序设计语言都是形式语言，其构成基础同
9、一般自然语言一样，也是符号或字母。常用的符号有数字（09）、大小写字母（AZ，az）、括号、运算符（+，-，*，/）等。 有限字母表指的是由有限个任意符号组成的非空集合，简称为字母表，用表示。字母表上的元素称作字符或符号，用小写字母或数字表示，如a、b、c、1、2、3等。,字母表可以理解为计算机输入键盘上符号的集合。字母可以理解为键盘上的每一个英文字母、数字、标点符号、运算符号等。 字符串，也称为符号串，指的是由字符组成的有限序列，常用小写希腊字母表示。字母表上的字符串以下列方式生成： （1）为上的一个特殊串，称为空串，对任何a，a=a=a； （2）若是上的符号串，且a，则a是上的符号串； （
10、3）若是上的符号串，当且仅当它由（1）和（2）导出。,直观来说，上的符号串是由其上的符号以任意次序拼接起来构成的，任何符号都可以在串中重复出现。作为一个特殊的串，由零个符号组成。应当指出的是，空串不同于我们计算机键盘上的空格键。 语言指的是给定字母表上的字符串的集合。 例如，当=a，b，则ab，aabb，abab，bba、（anbnn1都是上的语言。不包含任何字符串的语言称作空语言，用表示。注意：不同于，前者表示由空串组成的语言，后者表示空语言。,语言是字符串的集合，因此，传统的集合运算（如并、交、差、补、笛卡尔积）对语言都适用。除此之外，语言还有一种重要的专门的运算，即闭包运算。 语言、文法
11、以及自动机有着密切的关系。语言由文法产生。短语结构语言、上下文有关语言、上下文无关语言和正规语言分别由0型文法、1型文法、2型文法和3型文法产生。自动机是识别语言的数学模型，各类文法所对应的自动机分别是图灵机、线性有界自动机、下推自动机和有限状态自动机。 需要指出的是，语言与数学模型不是一一对应的关系，一种语言可以由不同的文法产生，也可以由不同的自动机识别。,定义、定理和证明是数学的核心，也是计算学科理论形态的核心内容。其中，定义是蕴含在公理系统之中的概念和命题；定理是被证明为真的数学命题；证明是为使人们确信一个命题是真的而作的一种逻辑论证。 例5.8 在欧氏几何中，平面角的定义为：平面角是在
12、一平面内，但不在一直线上的两条相交线的相互倾斜度；等腰三角形的定理为：两边相等的三角形为等腰三角形。,计算学科中的数学方法,直接证明,假定p为真，通过使用公理或已证明的定理以及正确的推理规则证明q也为真，以此证明蕴含式pq为真。这种证明方法为直接证明法。 例5.9 用直接证明法证明“若p是偶数，则p2是偶数”。 证明：假定p是偶数为真，设p=2k（k为整数）。由此可得，p2=2（2k2）。因此，p2是偶数（它是一个整数的2倍）。,间接证明,因为蕴含式pq与其逆否命题qp等价，因此可以通过证明qp来证明蕴含式pq为真。这种证明方法为间接证明法。 例5.10 用间接证明法证明“若p2是偶数，则p是
13、偶数”。 证明：假定此蕴含式后件为假，即假定p是奇数。则对某个整数k来说有p=2k+1。由此可得p2=4k2+4k+1=2（2k2+2k）+1，因此，p2是奇数（它是一个整数的2倍加1）。因为对这个蕴含式后件的否定蕴含着前件为假，因此该蕴含式为真。,首先假定一个与原命题相反的命题成立，然后通过正确的推理得出与已知（或假设）条件、公理、已证过的定理等相互矛盾或自相矛盾的结果，以此证明原命题正确。这种证明方法就是反证法，也称归谬法，是一种常用的数学证明方法。 例5.11 证 是无理数,归纳法的定义,所谓归纳法，是指从特殊推理出一般的一种证明方法。归纳法可分为不完全归纳法、完全归纳法和数学归纳法。
14、2不完全归纳法 不完全归纳法是根据部分特殊情况作出推理的一种方法，该方法多用于无穷对象的论证，然而，论证的结果不一定正确。因此，不完全归纳法不能作为严格的证明方法。 3完全归纳法 完全归纳法也称穷举法，它是对命题中存在的所有特殊情况进行考虑的一种方法，用该方法论证的结果是正确的，然而，它只能用于“有限”对象的论证。,数学归纳法的形式化定义,根据数学归纳法的原理，可以对数学归纳法形式化地定义为：P(1)()(P(n)P(n+1)P(n) 例5.12 求证命题P(n)：“从1开始连续n个奇数之和是n的平方”，即公式1+3+5+（2n1）=n2成立。,证明,归纳基础：当n=1时，等式成立，即1=12
15、归纳步骤： 设对任意k1，P(k)成立，即：1+3+5+（2K1）=K2 而1+3+5+(2K1)+(2(K+1)1)= K2+2K+1=(K+1)2 则当P(k)成立时，P(K+1)也成立，根据数学归纳法，该命题得证。,构造性证明,构造性证明通过找出一个使得命题P(a)为真的元素a，从而完成该函数值的存在性证明称为构造性证明。 构造性证明方法是计算科学中广泛使用的一种证明方法，本章Armstrong公理系统的完备性证明就采用了构造性的证明方法。,计算学科中的数学方法,递归和迭代 :很多序列项常常可以以这样的方 式得到：由an1得到an，按这样的法则， 可以从一个已知的首项开始，有限次地重复做
16、下去，最后产生一个序列，该序列是实现递归和迭代的基础。,递归及其有关概念,20世纪30年代，正是可计算的递归函数理论与图灵机、演算和POST规范系统等理论一起为计算理论的建立奠定了基础。 递归关系指的是：一个数列的若干连续项之间的关系 递归数列指的是：由递归关系所确定的数列。 递归过程指的是：调用自身的过程。 递归算法指的是：包含递归过程的算法。 递归程序指的是：直接或间接调用自身的程序。 递归方法（也称递推法），是一种在“有限”步骤内，根据特定的法则或公式对一个或多个前面的元素进行运算，以确定一系列元素（如数或函数）的方法。,递归与数学归纳法,例5.13 计算56 计算方法之一：6，6+6=
17、12，12+6=18，18+6=24，24+6=30； 计算方法之二：56，46，36，26，16；16+6=12，12+6=18，18+6=24，24+6=30； 从56开始计算，假设一个刚学乘法的小学生计算不出这个数，那么，这个小学生一般会先计算46，然后再加6就可以了，若仍计算不出，则会再追溯到36，直到16，然后，再依次加6，最后得到30。这种计算方法其实就反映了一种递归的思想，这个例子还可以用更一般的递归关系表示： an=Can-1+g(n)，2，3，4，其中，C是已知常数，g(n)是一个已知数列。,递归由递归基础和递归步骤两部分组成。 数学归纳法是一种论证方法，而递归是算法和程序设
18、计的一种实现技术； 数学归纳法是递归的基础。如果已知an-1就可以确定an。从数学归纳法的角度来看，这相当于数学归纳法归纳步骤的内容。但仅有这个关系，还不能确定这个数列，若使它完全确定，还应给出这个数列的初始值a1，这相当于数学归纳法归纳基础的内容。,递归的定义功能,例：序列：2，5，11，23，an=2an1+1，请给出其递归定义。 解 该序列的递归定义如下： a1=2； 递归基础 an=2an1+1，n=2，3，4，； 递归步骤例5.15 给出阶乘F(n)=n!的递归定义 解 阶乘F(n)=n!的递归定义如下：F(0)=1； 递归基础 F(n)=nF(n1)，n=1，2，3，； 递归步骤,
19、定义集合,例5.16 现有文法G的生成式如下： S0A1； S是文法G的开始符号 A01； 递归基础 A0A1； 递归步骤 该文法其实定义了这样一个集合：L(G)=0n1n|n1，这是一个以相同个数的“0”和“1”组成的字符串的集合，即一种特殊的语言。 将学习到该语言可以由多种文法产生（如0型文法、2型文法等），而图灵机与0型文法相对应，因此，图灵机可以识别该语言。,阿克曼函数,该函数是由希尔伯特的学生、德国著名数学家威尔海姆阿克曼于1928年发现的。这是一个图灵机可计算的，但不是原始递归的函数。下面，我们介绍这个经典的递归函数，并给出相应的计算过程。 阿克曼函数：,解阿克曼函数的递归算法:,
20、Beginif m=0 then n+1else if n=0 then A(m-1,1)else A(m-1,A(m,n-1) End,计算A(1,2),解: A(1,2)= A(0, A(1,1)=A(0, A(0, A(1,0)=A(0, A(0, A(0,1)=A(0, A(0,2)=A(0,3)=4,迭代,迭代与递归有着密切的联系，甚至，一类如X0=a，Xn+1=f(n)的递归关系也可以看作是数列的一个迭代关系。 可以证明，迭代程序都可以转换为与它等价的递归程序， 反之，则不然。就效率而言，递归程序的实现要比迭代程序的实现耗费更多的时间和空间。因此，在具体实现时，又希望尽可能将递归程
21、序转化为等价的迭代程序。,斐波那契数的求解算法而言，可以使用迭代方法或递归方法来解决。 一些递归算法，如求解梵天塔问题的算法就不能用迭代方法，而只能用递归方法。,计算学科中的数学方法,公理化方法,理论体系,从数学的角度来说，理论是基本概念、基本原理或定律（联系这些概念的判断）以及由这些概念与原理逻辑推理出来的结论组成的集合，该概念可以形式化的定义为： T=， 其中： （1）表示理论； （2）表示基本概念的集合； （3）表示基本原理或定律的集合； （4）表示由这些概念与原理逻辑推理出来的结论组成的集合。,构建理论体系的常用方法,每一个理论都由一组特定的概念和一组特定的命题组成。 在一个理论中，基
22、本概念（原始概念）和基本命题（原始命题）必须是明确的，否则就会出现“循环定义”和“循环论证”的严重问题。 构建一个理论体系必须采用科学的方法。 公理化方法 逻辑和历史相统一的方法 从抽象上升到具体的方法。,公理化方法,公理化方法，我们在第1章已作过简单介绍，这是一种构造理论体系的演绎方法， 从尽可能少的基本概念、公理出发，运用演绎推理规则，推出一系列的命题，从而建立整个理论体系的思想方法。,公理系统的3个条件,用公理化构建的理论体系称为公理系统，该公理系统需要满足无矛盾性、独立性和完备性的条件。 （1）无矛盾性。 （2）独立性。 （3）完备性。,简单化是科学研究追求的目标之一。一般而言，正确的
23、一定是简单的（注意，这句话是单向的，反之不一定成立）。 关于公理系统的完备性要求，自哥德尔发表关于形式系统的“不完备性定理”的论文后，数学家们对公理系统的完备性要求大大放宽了。 也就是说，能完备更好，即使不完备，同样也具有重要的价值。,公理化方法在计算学科中的应用,公理化方法主要用于计算学科理论形态方面的研究。在计算学科各分支领域，均采用了公理化方法。如 形式语义学 关系数据库理论 分布式代数系统 计算认知领域,例5.18 正整数的公理化概括,原始概念：1； 原始命题（公理）：任何正整数n或者等于1，或者可以从1开始，重复地“加1”来得到它。,例5.19 平面几何的公理化概括（欧氏几何）,以点
24、、线、面为原始概念，以5条公设和5条公理为原始命题，给出了平面几何中的119个定义，465条命题及其证明，构成了历史上第一个数学公理体系。 原始概念：点、线、面 原始命题（公设和公理）如下： 公设1：两点之间可作一条直线； 公设2：一条有限直线可不断延长； 公设3：以任意中心和直径可以画圆； 公设4：凡直角都彼此相等； 公设5：在平面上，过给定直线之外的一点，存在且仅存在一条平行线，即所谓的“平行公设（公理）”。,例5.20 中国古代唯一的一次公理化尝试：周髀算经,据有关记载，周髀算经成书于公元前100年左右。在周髀算经中，介绍了一个描述天象的盖天学说，该学说构建了一个几何宇宙模型。该学说中的
25、公理有两个：一个是“天地为平行平面，天地相距80,000里，在北极下方的大地中央有一底面直径为23,000里，高为60,000里的上尖下粗的 “璇玑”（即极下，极下阳光照不到，故不生万物）； 另一个是关于太阳光照以及人目所见的极限范围，即“日照四旁各十六万七千里；人所望见，远近宜如日光所照”，其大意为，日光向四周照射的极限距离是167,000里，人所见到也是这个距离。换言之，日光照不到167,000里之外，人也看不见167,000里之外。,从公理可以演绎出：夏至南万六千里，冬至南十三万五千里，日中立竿无影。此一者天道之数。周髀长八尺，夏至之日晷一尺六寸。髀者，股也；正晷者，勾也。正南千里，勾一
26、尺五寸；正北千里，勾一尺七寸。其大意为，在某地竖一个8尺高的竿，太阳移动了一千里，这个竿的影子和原来的相差一寸，即日影千里差一寸。而从“日照四旁”167,000里，以及用公理演绎出的冬至日道半径238,000里，又可导出宇宙半径为405,000里，从而构建了一个天、地为圆形平行平面的宇宙模型。,今天，我们知道，这个宇宙模型的描述与实际的天象吻合得并不好，与同时代古希腊类似模型相比，也存在较大的差距，而当时，我国天文学家完全可以用代数方法相当精确地解决一些天文学问题，至于宇宙究竟是什么形状或结构，完全可以不去过问。然而，周髀算经是个例外，并成为我国古代学者惟一的一次公理化方法的尝试，这种思想，是
27、受外来因素的影响，还是我国本土科学中某种随机出现的变异？已引起科学史领域专家的极大兴趣。,计算学科中的数学方法,形式化方法,具体公理系统和抽象公理系统,在欧氏几何公理系统中，原始概念（点、线、面）和所有的公理都有直观的背景或客观的意义，像这样有现实世界背景的公理系统，一般被称为具体公理系统。 由于非欧几何的出现，使人们感到具体公理系统过于受直觉的局限。因而，在19世纪末和20世纪初，一些杰出的数学家和逻辑学家开始了对抽象公理系统的研究。,在抽象公理系统中，原始概念的直觉意义被忽视，甚至没有任何预先设定的意义，而公理也无需以任何实际意义为背景，它们无非是一些形式约定的符号串。这时，抽象公理系统可
28、以有多种解释。 形式化的运算规则1+1可以解释为一个苹果加一个苹果，或者为一本书加一本书； 布尔代数抽象公理系统可以解释为有关命题真值的命题代数，或者有关电路设计研究的开关代数。,形式系统的组成部分,初始符号。初始符号不具有任何意义。 形式规则。形式规则规定一种程序，借以判定哪些符号串是本系统中的公式，哪些不是。 公理。即在本系统的公式中，确定不加推导就可以断定的公式集。 变形规则。变形规则亦称演绎规则或推导规则。变形规则规定，从已被断定的公式，如何得出新的被断定公式。被断定的公式又称为系统中的定理。,形式系统的基本特点,严格性 形式系统中，初始符号和形式规则都要进行严格的定义，不允许出现在有
29、限步内无法判定的公式。形式系统采用的是一种纯形式的机械方法，它的严格性高于一般的数学推导。 抽象性 抽象性不是形式系统的专利，抽象是人们认识客观世界的基本方法，只不过形式系统具有更强的抽象性。 形式系统的抽象性表现在它自身仅仅是一个符号系统，除了表示符号间的关系（字符号串的变换）外，不表示任何别的意义。,形式系统的局限性,不完备性 1931年，哥德尔提出的关于形式系统的“不完备性定理”指出：如果一个形式的数学理论是足够复杂的（复杂到所有的递归函数在其中都能够表示），而且它是无矛盾的，那么在这一理论中存在一个语句，而这一语句在这一理论中是既不能证明，也不能否证的。,形式系统的局限性,不可判定性
30、如果对一类语句C而言，存在一个算法AL，使得对C中的任一语句S而言，可以利用算法AL来判定其是否成立，则C称为可判定的，否则，称为不可判定的。 著名的“停机问题”就是一个不可判定性的问题。该问题是指，一个任给的图灵机对于一个任给的输入而言是否停机的问题。图灵证明这类问题是不可判定的。 需要指出的是：计算机系统就是一种形式系统，因此，计算机系统一样也具有形式系统的局限性。,形式化与公理化,形式化不一定导致公理化，公理系统也不一定是形式系统。 如欧氏几何公理系统就不是形式系统。 形式化与公理化虽然不同，但在近代数学中，形式系统大都是形式化的公理系统。,计算学科中的数学方法,一个实例Armstron
31、g公理系统,预备知识,定义1：设R=是一个关系模式，其中，R是关系名，U为组成该关系属性名的集合，F为R上的一个函数依赖关系的集合。设X，Y U，rIns(R)，则对任何u，vr，只要uX=vX，就必有uY=vY，则称满足XY，也称中存在函数依赖XY。 注：关系模式R=上的所有实例的集合记作Ins(R)。 定义2：在关系模式R=中，为F所逻辑蕴含的函数依赖全体的集合称为F的闭包（Closure），记为F+。 定义3：在关系模式R=中，若XU，则X+=A|XA能从F出发，由Armstrong公理系统推导出来，X+称为属性集X关于函数依赖集F的闭包。,算法,在实际工作中，一般不直接计算F+，而是通
32、过计算X+而达到同样的目的。下面，给出计算属性闭包的算法和一个例子。 算法：在关系模式R=中，求属性集X(X U)关于函数依赖的属性闭包X+。 输入：关系模式R=中的全部属性集U，在U上的函数依赖F，U的子集X。 输出：属性闭包X+。,步骤： （1）令X(0) =X，i=0 （2）令X(i+1)=X(i)A|VX(i) ，VWF，AW （3）判断等式X(i+1)=X(i)是否成立，若成立则转（4），否则转（2） （4）令X+=X(i)，输出X+。,例5.20 F由下列5个函数依赖组成：,F=AC，BC，ABD，BCDE，DE 计算：(BD)+ （1）X(0)=BD （2）X(1)=BDC，即X
33、(1)=BDC（在此，将属性集BD和C的并集BDC简记为BDC，下同），则X(1)X(0)，继续 （3）X(2) =BDCE，则X(2)X(1)，继续 （4）X(3) = BDCE，则X(3) = X(2)，所以(BD)+ = X(2) = BDCE。,Armstrong公理系统的3条公理,设U为关系模式R的属性名集合，F是U上的一组函数依赖的集合。对关系模式R=而言有以下推理规则： （1）若YXU，则XY（自反律Reflexivity） （2）若XY，且ZU，则XZYZ（增广律Augmentation） （3）若XY及YZ，则XZ（传递律Transitivity） 以上3条公理构成了函数依赖
34、的一个有效而完备的公理系统，该公理系统是数据库技术中模式分解算法的理论基础。,Armstrong公理系统的正确性和完备性要求,建立函数依赖公理系统的目的在于有效而准确地计算函数依赖的逻辑蕴含，即从已知的函数依赖推出未知的函数依赖。这里有两个要求，一个要求是用公理系统推出的所有函数依赖都是正确的；另一个要求是保证每一个函数依赖都能够用该公理系统推出，如果F+中居然存在一个函数依赖不能用这些公理推出，那么这些公理就不够用，就不完全，就得补充新的公理。 显然，以上第一个要求是要证明公理系统的正确性，第二个要求是要证明公理系统的完备性。,证明：分别证明自反律、增广律和传递律的正确性。,（1）设rIns
35、(R)，t，sr，X，Y U，YX 若tX=sX，根据条件Y X，则必有tY=sY。 根据函数依赖的定义，若tX=sX，必有tY=sY，则XY成立(自反律得证)。 （2）设rIns(R)，t，sr，X，Y，ZU，XY 若tXZ=sXZ，则有tX=sX及tZ=sZ 再根据条件XY以及tX=sX，则必有 tY=sY ,由、可知，tY=sY，tZ=sZ，即tYZ=sYZ。 根据函数依赖的定义，若tXZ=sXZ，必有tYZ=sYZ，则XZYZ成立（增广律得证）。 （3）设rIns(R)，t，sr，X，Y，ZU，XY，YZ 若tX=sX，根据条件XY，则必有tY=sY。 再根据条件YZ及tY=sY，则必
36、有tZ=sZ。 根据函数依赖的定义，若tX=sX，必有tZ=sZ，则XY成立（传递律得证）。,计算学科中的数学方法,练习题,1.数学有哪些基本特征？ 2数学方法有什么作用？ 3什么叫集合？集合的基本运算有哪几种？ 4什么是函数？ 5什么是关系？等价关系要满足哪些条件？ 6并发关系是否是等价关系?试举例说明。 7什么是字符串？什么是语言？语言、文法与自动机有何关系？,8什么是布尔值？布尔运算的定义？ 9数学方法中有哪几种证明方法？ 10请用伪代码给出求解斐波那契数的递归算法。 11求下列阿克曼函数值： （1）A(0,1) （2）A(1,0) （3）A(1,1) （4）A(2,1) （5）A(2,2),12什么是递归和迭代？二者有何联系？ 13给出“理论”的形式化定义。 14构建理论体系的常用方法有哪些？ 15简述公理系统的3个条件。 16分别对正整数、平面几何（欧氏几何）进行公理化概括。17什么是形式化方法？形式化系统由哪几部分组成？,
