数理逻辑 第一章 逻辑、集合和函数 函数增长
第一章数理逻辑PPT精品文档123页

相等。 (6) 张辉与王丽是同学。
2020/6/20
19
中北大学离散数学课程组
例 (解)
(1)设P:四川是人口最多的省份。
则命题(1)可表示为┐P。
(2)设P:王超是一个思想品德好的学生;
Q:王超是一个学习成绩好的学生;
R:王超是一个体育成绩好的学生。
1.2 命题联结词
一、否定联结词“¬” 是一元联结词。读做“非”
例如: P: 上海是一个城市。
P:上海不是一个城市。
¬P P
0
1
1
0
10
中北大学离散数学课程组
1.2 命题联结词
二、合取联结词“∧”
二元联结词。读做“与”、“且”
例如:
P
(1)P:今天下雨,Q:明天下雨, 0
PQ:今天下雨并且明天下雨。
2020/6/20
21
中北大学离散数学课程组
七、约 定
为了不使句子产生混淆,作如下约定,命题联结 词之优先级如下:
(1)否定→合取→析取→条件→等价 (2 ) 同级的联结词,按其出现的先后次序(从
2020/6/20
6
中北大学离散数学课程组
结论: 命题一定是陈述句,但并非一切陈述句都是命题。 命题的真值有时可明确给出,有时还需要依靠环境、 条件、实际情况时间才能确定其真值。
2020/6/20
7
中北大学离散数学课程组
二、命题的分类
1.原子命题(简单命题):不能再分解为更为简单命 题的命题。
例如:雪是黑色的
2.复合命题:由联结词、标点符号和原子命题复合 而成的命题。
例如:如果今天晚上有星星,那么明天就是晴天。
数理逻辑(课程简介)

《数理逻辑》教学大纲徐海燕 编写535目录前言 (537)第一章数理逻辑的由来 (538)第一节 传统逻辑的不足 (538)一、传统逻辑中命题的限制 (538)二、传统逻辑中三段论的限制 (539)三、传统逻辑中量词的限制 (540)第二节 数理逻辑的兴起 (541)第三节非欧几何带来的问题 (544)第四节微积分基础的争论 (546)第五节集合论悖论 (548)第六节 蕴涵词及其怪论 (549)第二章数理逻辑的主要内容 (552)一、真值联结词真值函项重言式 (552)二、命题演算命题逻辑的公理化和形式化 (552)复习与思考题 (553)第三章数理逻辑的三个发展阶段及三大学派 (554)一、数理逻辑的三个发展阶段 (554)二、数理逻辑的三大学派 (554)第四章 数理逻辑的特征和应用 (555)复习与思考题 (555)536前言本课程由逻辑学研究所开设。
本课程是哲学专业的选修课之一。
主要介绍一阶逻辑的基本理论和方法。
主要内容包括:命题形式语言及其语义理论,命题表列,命题演算系统,命题演算系统的可靠性与完全性定理;一阶语言及其语义理论,一阶表列,谓词演算系统,谓词演算系统的可靠性与完全性定理。
本课程旨在使学生掌握公理化、形式化的现代逻辑理论和方法,提高学生现代逻辑思维的素质和能力,培养学生现代逻辑的意识,为学习哲学专业相关课程以及从事现代西方哲学研究工作打下必要的基础。
537第一章数理逻辑的由来本章教学目的和基本要求:掌握数理逻辑的产生根源学时分配:9到了今天,数理逻辑可以说已经是一门成熟的科学,它的内容十分丰富,与别的许多门学科都有牵连,互相影响,要介绍它的内容,或者描绘它与别的学科有所不同的特征,都是非常困难的,最好的办法是先从它的发展过程来考察。
因为一个事物,无论它所包含的内容如何丰富,它的特性如何复杂,如果能够从它的发展来看,先看它是如何产生的,如何一步步地成长,逐渐地由小而大、由简单而复杂的发展,这样我们便能比较容易地掌握其主要内容、找出它的基本特征。
面向计算机科学的数理逻辑复习文档

绪论一、数理逻辑研究什么?★研究前提和结论的可推导性关系,它是由命题的逻辑形式而非内容所决定的二、数理逻辑如何研究?★形式语言第一章预备知识第一节集合一、集合1、集合的内涵和外延(所有元素的共同性质/构成集合的所有元素)2、有序偶和笛卡儿集二、关系1、概念:集合S上的n元关系R2、特殊情况:集合S上的一元关系R(集合S上的性质R)三、函数(映射)1、概念:函数(集合+有序偶+性质)、定义域dom(f)、值域ran(f)2、概念:f(x)(函数f在x处的值)3、概念:f:S->T(函数f是由S到T的映射)、满射、一一映射四、等价1、概念:关系R是集合S上的等价关系(自反+对称+传递)2、概念:元素x的R等价类3、性质:R等价类对集合S的一个划分(两两不相交,且并为S)五、基数1、概念:S~T(两个集合S和T是等势的)2、概念:集合S的基数|S|(集合中的元素个数)3、概念:可数无限集第二节归纳定义和归纳证明一、归纳定义1、集合的归纳定义⑴、直接生成某些元素⑵、给出运算,将其作用在已有元素上,以产生新的元素⑶、只有这样才是集合中的元素,除此之外,再也没有了2、典例:自然数集N的两个归纳定义二、归纳证明1、归纳定理:设R是一个性质,如果⑴、R(0)⑵、对于任何n∈N,如果R(n),则R(n’)那么,对于任何n∈N,都有R(n)2、概念:归纳基础、归纳步骤(包括归纳变元和归纳假设)、归纳命题、归纳证明3、概念:串值归纳法及其变形三、递归定义1、递归定义(在归纳定义的集合上,定义函数)在自然数集N上定义一个这样的函数f:g,h是N上的已知函数f(0)=g(0)f(n’)=h(f(n))2、递归定义原理(这样的函数是存在而且唯一的)第二章经典命题逻辑第一节联结词一、基本概念1、概念:命题(陈述句+确定值)(要么是真,要么是假)2、概念:简单命题和复合命题(区分的关键)3、小结:只考虑复合命题的真假是如何确定的二、联结词1、非A:2、A与B:A为真并且B为真3、A或B:A为真或B为真(A为真或B为真或AB同时为真)4、A蕴涵B:如果A真,则B真(并非A假B真)5、A等值于B:如果A蕴涵B,同时B蕴涵A第二节命题语言一、基本概念1、概念:命题语言(命题逻辑使用的形式语言)2、归纳:命题语言的三类符号(命题符号+联结符号+标点符号)3、概念:表达式、长度、空表达式、两个表达式相等4、概念:段、真段、初始段、结尾段二、基本概念1、定义:原子公式,记为Atom(L P)(单独一个命题符号)2、定义:公式,记为Form(L P)(经典归纳定义及其两种变形)★经典定义容易理解,然而两种变形更容易使用3、定理:如何证明L P的所有公式都满足R性质?★关键:假设S={A∈Form(L P)| R(A)}4、概念:对公式的结构做归纳(上述归纳证明)三、习题解析1、关键:利用二叉树表示公式的生成过程2、关键:蕴涵有多种不同的叙述方式(关键:分清楚充分条件和必要条件)⑴、◆如果p,则q⑵、◆只要p,则q⑶、◆p仅当q⑷、◆只有p,才q⑸、◆除非p,否则q(思路:想方设法转化为上述情形)第三节公式的结构一、引理1、引理1:L P的公式是非空的表达式2、引理2:在L P的每个公式中,左括号和右括号出现的数目相同3、引理3:真初始段不是公式(在L P的公式的任何非空的真初始段中,左括号出现的次数比右括号多。
第一章集合与数理逻辑用语

第一章 集合第一课 集 合当你刚刚走进一个新的班集体时,坐在教室里环顾四周,有一些是你过去的同学,还有很多陌生的面孔,经过一段时间,你就会发现,班级里有些同学参加了舞蹈队,有些同学参加了管弦乐队,有些同学参加了篮球队```````学过这一章,你就可以用集合的语言非常清晰、方便地表述上面的事情.集合语言是现代数学的基本语言.使用这种语言,不仅有助于简洁、准确地表达数学内容,还可以用来刻画和解决生活中的许多问题.学习集合,可以发展同学们用数学语言进行交流的能力.一、学习目标1.理解集合的概念,掌握集合中元素的性质.2.理解“属于”关系的含义,会用符号表示元素与集合的关系. 3.识记几个常用数集及其特殊记法,了解有限集、无限集的意义.二 、课前练习1.把下列各数按要求填入下面所表示的数集的圈子里:2-,7,π-,0,31-,3,6,5-.偶数集 负数集 无理数集2.满足不等式01<+x 的x 取值范围__________________ .3.请列举三种特殊的四边形:__________、___________、____________. 4.写出你们班个子较高的同学的名字.三、学习内容在初中数学中,我们已接触过“集合”这个词.在初中代数中学习数的分类时,就出现“正数的集合”“负数的集合”等.此外,对于一元一次不等式01<+x ,所有小于1-都是它的解.这些数组成这个不等式的解的集合,简称库这个不等式的解集.在平面几何里学习圆时,说圆是平面内到定点的距离等于定长的点的集合.一般地,几何图形都可以看成是点的集合.综上,把一些能够确定的对象看成一个整体,我们就说,这个整体就是由这些对象的全体构成的集合.构成集合的每个对象都叫做集合的元素.例如:(1)某卫生学校0601护士班的全体同学构成一个集合,这个班的每个同学都是这个集合的一个元素;(2)正实数全体构成一个集合,每个正实数都是这个集合的元素;(3)平行四边形的全体构成一个集合,其中任一个平行四边形都是这个集合的一个元素.想一想:举出一个集合的例子,并说出这个集合的元素是什么?从以上的例子我们看到:(一)组成集合的元素是确定的.这是因为集合的的元素具有共同的、明显的特征或属性,我们能据此将这些对象与其他对象加以区别.例如,“0601护士班的同学”构成的集合,谁是这班的同学,谁不是这个班的同学,都是明确的。
数理逻辑第一章命题逻辑

解: (1) p :怕困难, q :战胜困难,
该命题符号化为: q → ┐ p (2) p :天下雨, q :我有时间,r :我进城。
该命题符号化为: ┐ p ∧ q →r
(3) p :小王在图书馆看书, q :小王病了, r :图 书馆开门。 该命题符号化为: ┐( q ∨ ┐ r ) → p
13
或q恰有一个成立”称为p和q 的异或式,记为p q。 相当于汉语中的“或者” (排斥或 )。
p 0 0
q 0 1
p q 0 1
1
1
0
1
1
0
p q=0当且仅当p=q。
例:张三生于1972年或1973年 解:设p:张三生于1972年。
q:张三生于1973年。
该命题符号化为: p q
11
→(蕴涵):复合命题“如果p, 则q”称为p与q的蕴涵式,记为 p→q,称p为蕴涵式的前件,q 为蕴涵式的后件。 →相当于汉语中的“如果…, 则…”。
1
该公式的类型为非永真式的可满足式
25
(3)┐(q→p)∧p
p 0 q 0 q→p 1 ┐(q→p) 0 ┐(q→p)∧p 0
0
1 1
1
0 1
0
1 1
1
0 0
0
0 0
该公式的类型为永假式
26
练习:判断公式 (p→q)→r 的类型
p 0 0 q 0 0 r 0 1 p→q 1 1 (p→q)→r 0 1
实际上,为了判断公式A与B是否等值,只需分别列 出A和B的真值表,若它们的真值表相同,则A B, 否则它们不等值。
例 由下面的真值表可判定公式p→q与┐p∨q等值 p 0 0 1 1 q 0 1 0 1 ┐p 1 1 0 0 p→q 1 1 0 1 ┐p∨q 1 1 0 1
数理逻辑 第一章 逻辑、集合和函数 谓词逻辑

为了避免理解上的混乱,因此引入量词。
※三、量词
全称量词 存在量词 定义:P(x)的全称量化是命题“P(x)对x在其
论域的所有值为真”。记作:∀xP(x)。其中 ∀ 称为全称量词。 “对所有x,P(x)” “对每个x,P(x)”
Q(x,y,z):“x+y=z” Q(1,2,3):“1+2=3” 真 Q(1,3,2):“1+3=2” 假
二、谓词
逻辑联结词┐、∧、∨、→、的意义与 命题逻辑中的解释完全类同。
例:用H(x,y)表示“x比y长得高”。 H(张三,李四): “张三比李四长得高” ┐H(张三,李四): “张三不比李四长得高” ┐H(张三,李四)∧┐H(李四,张三): “张三不比李四长得高并且李四不比张 三长得高”,即“张三与李四一样高”。
▲四、自然语句的形式化
“有的实数是有理数”的形式化
∃x(Q(x)∧P(x)) ∃x(Q(x)→P(x)) ? 不符合人们的常规理解了,因为凡对于不是
实数的事物,该命题都为T,这是不对的。 “有的…是…”,通常使用∧,而不使用→ 。
▲四、自然语句的形式化
“没有无理数是有理数”的形式化
其意思是:对任一x而言,如果x是无理数, 那么x不是有理数。
二、谓词
“张三是学生。” “李四是学生。” 在命题逻辑中,这是两个不同的命题,
可以分别用p、q来表示。 共同点:都有主词和谓词,并且谓词都
是“是学生”。 若用大写符号P表示“是学生”,需要将
主词区分开。P(张三)、P(李四)。
二、谓词
引入变量x表示主词,P(x)就表示 “x是学生”;
数理逻辑 第一章 逻辑、集合和函数 函数

集合B到集合C的函数,函数f和g的组 合用f ◦g表示,定义为:
(f ◦g)(a)=f ( g (a) )
三、反函数和函数组合
如果g的值域不是f 的定义域的子集, 就无法定义f ◦g。
P62 - 例17-18。 对函数组合而言交换律不成立。
函数f是一对一的,当且仅当只要x≠y, 就有f(x)≠f(y)
P59 - 例6 - 例8
二、一对一函数和映上函数
定义域和伴域都是实数集合子集的函 数f称为严格递增的,如果对f定义域 中的x和y,只要x<y就有f(x)<f(y)。
f称为严格递减的,如果对f定义域中 的x和y,只要x<y就有f(x)>f(y)。
一、引言
在许多情况下,我们都会为一个集合的每 个元素指派另一个集合的一个特定元素。
例如:假定为学习数理逻辑课的每个学生 从{A,B,C,D}中选择一个字母作为他的得分。 再假定张三的得分为A,李四的得分为C, 王五的得分为A,赵六的得分为D。
这种打分就是一个函数。
一、引言
令A和B为集合。从A到B的函数f是对 元素的一种指派,对A的每个元素恰 好指派B的一个元素。如果f指派给A 中元素a的唯一的B的元素是b,就写 成f(a)=b。如果f是从A到B的函数, 就写成 f: A→B。
二、一对一函数和映上函数
例:A={1,2,3,4},B={a,b,c},如果f : A→B为 f(1)=a,f(2)=c,f(3)=b,f(4)=c,
则f是满射。
例:A={1,2,3},B={a,b,c,d},如果f : A→B为 f(1)=a,f(2)=c,f(3)=b,
则f是单射。
数理逻辑 第一章 逻辑、集合和函数 集合、集合运算

例:{a} ∈ {{a},b} {a,b} ⊆ {a,b,{a}}
一、概念和表示法
子集:
两个集合相等的充分必要条件是它们互为子集, 即A=B A⊆B∧B ⊆A。
证明:A=B ∀x(x∈A x∈B) ∀x((x∈A→x∈B)∧(x∈B→x∈A)) ∀x(x∈A→x∈B)∧∀x(x∈B→x∈A) A⊆B∧B ⊆A 证明集合相等的一种有用的方式。
复习
绑定变量
除非所有量词均为全称量词或均为存 在量词,否则量词的顺序非常重要。
P(x,y)= x×y =0 P(x,y)= x+y =0
复习
语句 ∀x∀y P(x,y) ∀y∀x P(x,y) ∀x∃y P(x,y)
∃x∀y P(x,y)
∃x∃y P(x,y) ∃y∃x P(x,y)
何时为真
.a . . u V e . .o i
U
一、概念和表示法
集合相等
两个集合相等当且仅当它们有相同的元素,记 作A=B,不相等记作A≠B。
集合的元素还可以允许是一个集合
S={a,{1,2},p,{q}}
集合中的各个元素在该集合中无次序的 集合中的各个元素是可以相互分开的,重复出
现就算一个
一、概念和表示法
A1×A2×…×An表示,这是有序n元组 (a1,a2,…,an)的集合,其中对于 i=1,2,…,n, ai∈Ai。 P44 – 例16
※四、集合运算
并集:
设任意两个集合A和B,所有属于A或属于B的 元素组成的集合S,称为A和B的并集,记作: A∪B。
S= A∪B={x|(x∈A)∨(x∈B)}
1.4 集合 Set
一、概念和表示法
集合是构造所有其他离散结构的基础(关 系、组合、图等)
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
复习
证明:设g: A→B, f: B→C (2)对g的值域中的任意y,若存在x1,x2属于A,
使得g(x1)=g(x2)=y,对于这个y存在C中的元素z, 使得f(y)=z,则f(g(x1))=f(g(x2))=z,又因为f ◦g是单 射,故x1=x2,所以g是单射的。
(3) 由(1),(2)得证。
若f ◦g是满射的,则f 是满射的; 若f ◦g是单射的,则g是单射的; 若f ◦g是双射的,则f 是满射的,g是单射的; 证明:设g: A→B, f: B→C (1)对C中的任意一个z,因为f ◦g是满射的,所 以A中存在一个x使得f ◦g(x)=z,则存在B中的一个 元素y,使得g(x)=y并且f(y)=z,所以,存在y使得 f(y)=z,f是满射的;
如f(x)是O(g(x)),估计的是f(x)大小的一个 上限;
要估计f(x)的下限,那么我们使用大Ω符号; 要估计f(x)的上、下限时,使用大Θ符号。
三、大Ω和大Θ符号
定义:令f和g为从整数集合或实数集合 到实数集合的函数,我们说f(x)是Ω(g(x)), 如果存在正常数C和k,使得x>k时,
用大O估计时,必须找出对每个子过程 的估计,再把它们组合在一起。
往往要估计两个函数和与积的增长。
二、函数组合的增长
假定f1(x)是O(g1(x)),f2(x)是O(g2(x)); 从大O符号的定义,有常数C1,C2,k1,
k2,使得:当x>k1时,|f1(x)|≤C1|g1(x)|, 当x>k2时,|f2(x)|≤C2|g2(x)|, 要估计f1(x)和f2(x)的和,注意: |(f1+f2)(x)|=|f1(x)+f2(x)|≤|f1(x)|+|f2(x)|
其中k=max(k1,k2)。
二、函数组合的增长
定理:假定f1(x)是O(g1(x)),f2(x)是 O(g2(x)),那么(f1+f2)(x)是 O(max(g1(x),g2(x)))。
推论:假定f1(x)和f2(x)都是O(g(x)),那么 (f1+f2)(x)也是O(g(x))。
类似的方法可以推导出f1和f2的乘积的大 O估计。
二、函数组合的增长
当x>max(k1,k2)时,我们有: |(f1f2)(x)|=|f1(x)||f2(x)|≤C1|g1(x)|C2|g2(x)|=C1
C2|g1(x)g2(x)|=C1C2|(g1g2)(x)|=C|(g1g2)(x)| 其中C=C1C2; f1(x)f2(x)是O(g1g2)。
(x+1)是O(x)。 当x>1时,x2+1<x2+x2=2x2 ; log(x2+1)<log(2x2)=log2+2logx; 当x>2时, log2+2logx<logx+2logx=3logx;
二、函数组合的增长
例:给出f(x)=(x+1)log(x2+1)+3x2的大O估 计。
解:因此,log(x2+1)是O(logx); (x+1)log(x2+1)是O(xlogx);又3x2是O(x2); 所以,f(x)是O(max(xlogx, x2)),又
若f(x)是O(g(x)),而对足够大的x,h(x)是 一个函数值的绝对值大于g(x)的函数, 则有f(x)是O(h(x))。
如果x>k就有|f(x)|≤C|g(x)|,同时 |h(x)|>|g(x)|对所有x>k成立,那么当x>k时, |f(x)|≤C|h(x)|成立,于是f(x)是O(h(x))。
当f ◦g是满射的,g不一定是满射的; 当f ◦g是单射的,f 不一定是单射的。
1.8 函数增长 The Growth of Functions
一、大O符号
一个计算机程序实用性的重要因素之一 是计算机要花多长时间才能运算完成。
如将n个整数按照增序排列
为n个整数重新排序所需要的时间小于f(n)微秒, 其中f(n)=100nlogn+25n+9
$2.56美金。 比尔·盖茨在1995年说,“如果你认为你是一名真正优
秀的程序员,就去读第一卷,确定可以解决其中所有 的问题。如果你能读懂整套书的话,请给我发一份你 的简历。”
一、大O符号
例:证明7x2是O(x3)。
解:只要x>7,7x2<x3就成立。因此在大O的 定义中取C=1,k=7,得7x2是O(x3)。
其中C=|an|+|an-1|+…+|a1|+|a0|
一、大O符号
几个与定义域为正整数集合的函数有关 的例子
例:用O符号估计前n个正整数的和。
解:由于前n个正整数都不超过n,所以 1+2+…+n≤n+n+…+n=n2 所以前n个正整数的和是O(n2),其中 C=1和k=1。
一、大O符号
n!=1·2· … ·n;增长迅速(n=20?) 20!=2 432 902 008 176 640 000 例:给出阶乘函数和其对数的大O估计。
一、大O符号
例:证明f(x)=x2+2x+1是O(x2)。
因为只要x>1,就有 x2+2x+1≤x2+2x2+x2=4x2 根据大O的定义,取C=4,k=1 所以f(x)是O(x2); 当x>2时,2x≤x2, x2+2x+1≤x2+x2+x2=3x2 C=3,k=2
一、大O符号
一、大O符号
注意:要证明f(x)是O(g(x)),只要找到一对C 和k,使得只要x>k就有|f(x)|≤C|g(x)|。
定义中要求的一对C和k不是唯一的。
只要有一对这样的数存在,就有无穷多这样的数 对;
若C,k是这样的一对,那么只要C1,k1满足C<C1, k<k1,那么他们也是一对
因为|f(x)|≤C|g(x)|≤C1|g(x)|对所有满足x>k1>k的x成立
复习
1, 5, 11, 27, 65, 157, 379, 915…
an=2× an-1+an-2; a0=1, a1=5.
0,2,10,30,68,130,222…
n3+n
复习
设X={1,2,3},Y={p,q},Z={a,b}, f={(1,p),(2,p),(3,p)},g={(p,b),(q,b)},求g◦f
中a0,a1,…,an-1,an为实数,那么f(x)是O(xn)。
一、大O符号
证:如果x>1,我们有 |f(x)|=|anxn+an-1xn-1+…+a1x+a0|
≤|an|xn+|an-1|xn-1+…+|a1|x+|a0| = xn(|an|+|an-1|/x+…+|a1|/xn-1+|a0|/xn) ≤ xn(|an|+|an-1|+…+|a1|+|a0|) = C xn
例: x3是O(7x2)吗?
解:要判断是否存在常数C和k,使得只要 x>k,就有x3≤C(7x2 ),其等价于x≤7C,由于 x可以任意大,所以不存在这样的C;
x3不是O(7x2)。
一、大O符号
多项式常用于估计函数的增长; 希望找到一个总是可以用来估计多项式
增长的结论; 定理:令f(x)=anxn+an-1xn-1+…+a1x+a0,其
一、大O符号
f(x)=x2+2x+1是O(x2),x2可以被函数值大 于x2的任何函数取代;
f(x)是O(x3) f(x)是O(x2+2x+7)等等 x2是O(x2+2x+1)也成立
一、大O符号
在使用大O符号时,在f(x)是O(g(x))这一 关系中,函数g总是选得尽可能小(有时 选自某个参考函数集合)
称为同阶的。
一、大O符号
f(x)是O(g(x))还可以写作:f(x)=O(g(x)) 注意等号的含义:对于这些函数定义域
中足够大的数而言,函数f和g的之间有 个不等式关系成立。 巴h赫ttp:曼//w1w8w9-2c年s-fa首cu次lty.引stan入fo大rd.eOd符u/~号knu;th/ 大O符号有时也称为兰多符号; 克努思(高德纳)推进了大O符号的广 泛使用,他还引入了大Ω和大Θ符号。
一、大O符号
《计算机程序设计艺术》是Knuth一生中最重要的事业, 他写这本书的目的是“组织和总结所知道的计算机方 法的相关知识,并打下坚实的数学、历史基础”。
1974年图灵奖。 1999年底被美国科学家期刊(American Scientist)列
为20世纪最佳12部学术专著之一。 任何人发现书上的错误,都可以向他举发,并领取
解:乘积中的每一项都不超过n,所以 n!=1·2· … ·n≤n·n· … ·n=nn 所以阶乘函数是O(nn)。
两边取对数log(n!)≤nlogn 阶乘函数的对数是O(nlogn)
一、大O符号
P84 – 例6
二、函数组合的增长
许多算法都由两个或更多独立的子过程 组成;
其所需要的步数是这些子过程使用步数 的和;
二、函数组合的增长
(n2+3)logn≤2n2logn≤n3 当n>2时。 因此(n2+3)logn是O(n2logn)。 所以f(n)是O(n2logn)。
二、函数组合的增长
例:给出f(x)=(x+1)log(x2+1)+3x2的大O估 计。
解:首先找出(x+1)log(x2+1)的大O估计。