- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基础部分一: 1、逻辑:命题逻辑、谓词逻辑 2、集合:集合、函数 基础部分二: 1、算法 2、数论 3、代数系统 2.1 算法 Algorithms 算法是计算机科学中的一个最基本也是最重要的概念之一。其基本原理可以追溯到自然数N。用数学的方法来完整地描述自然数的是一个由皮亚诺(G. Peano)定义的公理。 皮亚诺公理 (1)0∈N; (2)对每一个n∈N,唯一定义了一个自然数n,n 称为n的后邻; (3)不同的自然数,其后邻也不同; (4)没有一个自然数的后邻是0; (5)如果有一个子集M?N满足: ①???? 0∈M;②???? n∈M时必n ∈ M, 则M = N 自然数全体N通过皮亚诺公理的五条公理组成。 这些公理缺一不可,其中性质(5)称为归纳公理,并指出了自然数是满足公理(1)~(4)的最小集合。 DEFINITION 1 定义1 如果一个对象部分地由自己所组成,或者按它自己定义,则称为是递归的(Recursion)。 递归不仅是数学上的一种重要表达方法,也是计算机科学中的一个基本概念。 example 自然数阶乘n!就是采用递归方法计算出来的。 令f (n) = n!,则f(n)可以表示为: f (0) = 1 f (n) = n·f (n–1) n0 example 菲波那契数, F(0) = 1,F(1) = 1 F(n) = F (n–1) + F (n–2) n1 由上述公式,我们得到: F (2) = 2,F (3) = 3,F (4) = 5, F (5) = 8,F (6) = 13,…… 利用菲波那契数可以推算出兔子繁衍规律。 这类推算表达也称为递推,即通常从初值开始计算。自然数表示也是一种递推。 递归与递推: 一般地并不是所有的递归都能够用递推的方法来表达。 1、有解 2、有终点 DEFINITION 2. 算法(Algorithm)是通过一个有限的指令序列集合对特定问题进行求解的一种计算执行描述。 An algorithm is a finite set of precise instructions for performing a computation or for solving a problem. 一个算法通常应具有下列特征: (1)输入:一个算法具有零个或多个取自指定集合的输入值; (2)输出:对算法的每一次输入,算法具有一个或多个与输入值接联系的输出值; (3)确定性:算法的每一个指令步骤都是明确的; (4)有限性:对算法的每一次输入,算法都必须在有限步骤(即有限时间)内结束; (5)正确性:对每一次输入,算法应产生出正确的输出值; (6)通用性:算法的执行过程可应用于所有同类求解问题,而不是仅适用于特殊的输入。 算法的概念与程序十分相似,但实际上有很大不同。程序并不都满足算法所要求的上述特征,例如有限性特征。算法代表了对特定问题的求解,而程序则是算法在计算机上的实现。因此算法也常常称为是一个能行过程。一个函数如果可以用一个算法来计算,那么我们称该函数是能行可计算的。 example 算法的一个精典的例子: 在正整数中,给定两个正整数x和y,求它们的最大公因子GCD(x, y)的欧几里德算法(Euclid) 其中x, y为初始输入值,输出值在y中。由于x, y是正整数,所以算法在有限时间内结束。例如与x=90, y=924,算法的执行过程描述为: 924=10×90+24 90=3×24+18 24=1×18+6 18=3×6 所以,GCD(90, 924)=6。 从命题逻辑的角度来考虑,欧几里德算法也可称为一个判定过程。对于给定的x, y,该过程可以判定“x和y是互质的”(即除了1之外,x和y没有此因子)这样一个具有真假意义的命题的真值。 算法的计算量问题 Definition 3 Let f and g be functions from the set of R or I to the set of R. Call that f(x) is O(g(x)) if there are constants C and k such that |f(x)| = C|g(x)| Wherever x k.
文档评论(0)