第9讲 函数 北京大学计算机系离散数学讲义(ppt版)培训资料.pptVIP

第9讲 函数;函数(function),映射(mapping);偏函数(partial function);例1;全函数(total function);例1(续);三者关系;全函数性质;例2;例2(解(1));例2(解(2));例2(解(3));计数(counting)问题;例3;例3(解);象(image), 原象(preimage);象,原象(举例);定理3.1;定理3.2;特殊函数;自然映射(举例);函数运算;函数合成(composite);定理3(证明);定理3(证明);定理3(证明);定理4;定理5;定理6;定理7(单调性);反函数(inverse function);构造双射及求反函数;例6: 构造N?N?N 双射 ?;方法1: 用自然数性质;方法1: f:N?N?N;方法2:Cantor编码—对角线法;方法2: f:N?N?N;单边逆;单边逆(举例);单边逆的存在条件;总结;作业(#7)