归纳定义是定义集合的一种方法,对于用归纳定义给出的集合,要证明其中所有的元都有某个性质,通常用归纳证明。集合的归纳定义通常包括若干规则,用来生成其中的元,然后再说明,只有由这些规则生成的对象才是这个集合的元。归纳定义的一种等价的陈述是将所要定义的集合刻画成封闭于这些规则的最小的集。
1.2.2递归定义与归纳证明 1.知识点 递归定义(recursive definition)又称为归纳定义(inductive definition),可用来定义 一个集合。一般地,一个集合的递归定义由以下 3个部分组成: (1)基础(basis):用来定义该集合最基本的元素。
基于182个网页-相关网页
中南大学学报—社会科学版--中文目录 关键字: 归纳集;归纳定义;封闭性;归纳证明[gap=1508]KeyWords: inductive aggregation; definition of proposition; closing; inductive proof
基于8个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐