5计算学科中的数学方法祥解.pptVIP

谓词逻辑 量词： ?——所有的； ?——存在 ?x(D(x))：凡人必死 ?x(G(x))：某些人活到100岁 例，M(x)：x是人，D(x)：x是要死的 ?x(M(x)→D(x))： 例，P(x)：x是苹果，S(x)：x是红色的 ?x(P(x)∧S(x))： ?x(P(x)∧S(x))： T T T T F 谓词逻辑 例，A(x)：x是球，B(x)：x是圆的 ?x(A(x) → B(x))：F 例，D(x)：x是狗，P(x)：x会叫，Q(x)：x咬人 ?x(D(x)) ∧P(x) ∧ ﹁Q(x)) 存在一条会叫不咬人的狗，即会叫的狗不一定咬人 ﹁ ?x(（Q(x) ∧P(x)) → Q(x)) 谓词逻辑 例， 将下列命题符号化，并指出真值情况。 （1）没有人登上过月球。 （2）所有人的头发未必都是黑色的。 解：个体域为全总个体域，令M（x）：x是人。 （1）令F（x）：x登上过月球。命题（1）符号化为： ??x（M（x）∧F（x）） 设a是1969年登上月球完成阿波罗计划的一名美国人，则M（a） ∧F（a）为真，故命题（1）为假。 （2）令H（x）：x的头发是黑色的。命题（2）可符号化为： ??x（M（x）?H（x）） 我们知道有的人头发是褐色的，所以?x（M（x）?H（x））为假，故命题（2）为真。 谓词逻辑 例，将下列命题符号化。 （1）猫比老鼠跑得快。 （2）有的猫比所有老鼠跑得快。 （3）并不是所有的猫比老鼠跑得快。 （4）不存在跑得同样快的两只猫。 解：设个体域为全总个体域。令C（x）：x是猫；M（y）：y是老鼠；Q（x，y）：x比y跑得快；L（x，y）：x和y跑得同样快。 这4个命题分别符号化为： （1）?x ?y（C（x）∧M（y）?Q（x，y））； （2）?x（C（x）∧?y（M（y）?Q（x，y）））； （3）??x ?y（C（x）∧M（y）?Q（x，y））； （4）??x? y（C（x）∧C（y）∧L（x，y）））。 三、证明方法 直接证明与间接证明 反证法 归纳法。P (1) ? (?n) (P(n) ? P(n+1)) ? ?nP(n). 构造性证明 四、递归和迭代 定义：P106 复习汉诺塔h(n)=2h(n-1)+1 （3）递归过程：调用自身的过程。 （4）递归算法：包含递归过程的算法。 an= can-1+ g(n) , n=2, 3, 4, … 递归是算法和程序设计的一种实现技术，数学归纳法是递归的基础。 递归的定义功能 例，文法G的生成式（规则）S? 0A1。 A ? 01，递归基础 A1= 01 A ? 0A1 递归步骤 An= 0An-11 L(G) = {0n 1n | n ≥ 1} 定义一种语言 ? 例，阿克曼函数 n+1 若m=0 A (m, n) = A ((m-1), 1) 若n=0 A (m-1, A (m, n-1)) 若m, n＞0 3. 迭代 反复 替换 迭代程序 递归程序 转换 五、公理化方法 公理系统的要求 例（P110） 元矛盾性 独立性 完备性 六、形式化方法 符号化 + 抽象公理化 * 书上内容组织的不够好 两个重点：命题和谓词 Armstrong公理不作要求，用于关系模式规范化 已有产品将Ermodel自动转化为满足3NF的关系模型 * 数学的基本特征及数学方法的作用（P97-P98）自己看 书上组织的不好，有些基本名词没给出解释，命题P103-105,109 谓词P99,100，关系，归纳P105 集合P98-99，重点笛卡尔积，给出两个集合，算出笛卡尔积 笛卡尔积任何一个子集都是关系，能写出满足一定条件的关系 补充命题和谓词逻辑 * A×A共有16个元素 集合A上的关系：两个集合相乘任一子集。 P101 等价关系，解释 R上的一个关系——R×R任一子集 关系、表格或者元组表示，元组中两元素存在的联系 x?1y：xy * * 小于关系?1：不具备自反性、对称性 5?15不成立 5?16成立但6?15不成立 大于关