离散数学第五章

离散数学第五章Tag内容描述：<p>1、第五章 无 限 集 合,5.1 可数和不可数集合 5.2 基数的比较 5.3 基数算术,5.1 可数和不可数集合,5.1.1 有限和无限集合,定义5.1-1 N的初始段是前n个(?包括0个)自然数的集合0,1,n-1或N自身。 定义5.1-2 如果有从N的初始段0,1,n-1到A的双射函数, 那么集合A是有限的, 具有基数nN。 如果集合A不是有限的, 那么它是无限的。,定理。</p><p>2、2020/7/15,1,第五章 函数与基数,5.1 函数基本概念 5.2 函数类型 5.3 函数运算 5.4 基 数,2020/7/15,2,5.1 函数基本概念,函数也常称为映射或变换，其定义如下： 定义5.1.1 设A和B是任意两个集合，且f是从A到B的关系，若对每一个xA，都存在唯一的yB，使x,yf，则称f为从A到B的函数，并记作f:AB。A称为函数f的定义域，即D(f)=A，B称为函数。</p><p>3、第五章 函数,离散数学 陈志奎主编 人民邮电出版社,前言,函数是满足某些条件的二元关系。这里所要讨论的是离散函数，它能把一个有限集合变换成另一个有限集合。计算机执行任何程序都属于这样一种变换。通常，总是认为函数是输入和输出之间的一种关系，即对于每一个输入或自变量，函数都能产生一个输出或函数值。因此，可以把计算机的输出看成是输入的函数。编译程序则能把一个源程。</p><p>4、目录（数理逻辑）,第一章 命题演算基础 （6学时） 第二章 命题演算的推理理论（4学时） 第三章 谓词演算基础（5学时） 第四章 谓词演算的推理理论（5学时） 第五章 递归函数论（4学时）,递归函数可计算性理论,递归函数数论函数，是以自然数为研究对象，定义域和值域均为自然数。 它为可计算函数找出各种理论上的、严密的类比物，因此，递归函数又称为可计算性理论。,可计算性理论的研究对象,判定问题判定方程。</p>