用递归定义推导行列式的展开法则及有关性质 被引量：1

1

作者 杨纶标 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 1998年第6期110-115,共6页

用递归定义证明了“行列式相邻两行对调，其值变号”的性质，并根据这一性质推导出了行列式的按行展开法则及有关性质，从而简化了传统的推导方法．

关键词 行列式 递归定义 展开法则 性质

在线阅读 下载PDF 职称材料

数学问题的递归定义及计算机实现

2

作者 李俐玲 《绵阳师范学院学报》 2002年第5期18-21,共4页

对数学及计算机的递归方法进行了阐述,并通过实例完成了数学递归问题的计算机实现。

关键词 递归定义 数学模型 计算机实现

在线阅读 下载PDF 职称材料

递归定义与归纳证法

3

作者 莫绍揆 《贵州科学》 1992年第4期1-5,共5页

递归定义与归纳证法是数学中最基本、最原始的手段,它不象一般人所认为的那样只是自然数所特有的。本文通过揭示递归定义与归纳证法的实质表明它们是本质上不依赖于自然数的逻辑系统内的特征,因而也适用于许多非自然数的对象。

关键词 递归定义 归纳证法 自然数

在线阅读 下载PDF 职称材料

行列式的递归定义 被引量：1

4

作者 戴晶 《沈阳师范学院学报（自然科学版）》 2000年第2期17-21,共5页

采用归纳法的方法来定义n阶行列式 ,证明出定理 1 。

关键词 行列式 性质 递归定义 归纳法

在线阅读 下载PDF 职称材料

递归定义在油气生产动态数据库中的应用——巧用递归定义建立表间关系和逐层运算统计 被引量：1

5

作者 陈国青 《中国海上油气（工程）》 2003年第5期58-60,共3页

中海石油有限公司的“油气生产动态数据库”是建立在大型关系数据库系统上的 ,而关系数据库的库体则在于把多组相关的二维数据通过定义关系关联成多维的数据集。目前该库在满足更高需求的前提下 ,通过分析关键数据的内在联系 ,在升级版... 中海石油有限公司的“油气生产动态数据库”是建立在大型关系数据库系统上的 ,而关系数据库的库体则在于把多组相关的二维数据通过定义关系关联成多维的数据集。目前该库在满足更高需求的前提下 ,通过分析关键数据的内在联系 ,在升级版的汇总库中采用了全新的递归定义模式来取代过去的定语定义模式 。 展开更多

关键词 递归定义 油气生产 动态数据库 表间关系 逐层运算统计

在线阅读 下载PDF 职称材料

服务于本体逻辑理论的本体定义 被引量：1

6

作者 吕鲲 曾庆良 +2 位作者 万丽荣 曾庆田 刘志海 《计算机工程》 CAS CSCD 北大核心 2008年第9期52-54,共3页

本体概念过分模糊和庞大,不利于构建、共享和重用。该文从当前的研究和应用需求出发,给出一个强调论域的本体定义,是完善本体逻辑理论的基础。总结已有的研究成果,基于统一本体层次化和模块化的思想,提出子本体、原子本体以及本体的递... 本体概念过分模糊和庞大,不利于构建、共享和重用。该文从当前的研究和应用需求出发,给出一个强调论域的本体定义,是完善本体逻辑理论的基础。总结已有的研究成果,基于统一本体层次化和模块化的思想,提出子本体、原子本体以及本体的递归定义,为本体建立科学的分类体系和一致的逻辑理论打下了基础。 展开更多

关键词 本体工程 子本体 原子本体 递归定义

在线阅读 下载PDF 职称材料

语词定义类型浅探

7

作者 苑成存 王荣杰 《理论探讨》 CSSCI 北大核心 1997年第2期45-46,共2页

关键词 语词定义 语词符号 形定义 定义项 语义定义 命题公式 符号表达式 递归定义 “乌托邦” 传统逻辑

在线阅读 下载PDF 职称材料

论递归方法的实质和普遍意义 被引量：6

8

作者 李志昌 《楚雄师专学报》 2000年第1期119-123,共5页

从方法论意义上说，递归方法是一种从简单到复杂、从低级到高级的可连续操作的解决问题的方法。它的每一步骤都是能行可操作的，各步骤之间是连续转换的。递归定义是用简单的、自明的要素描述、构造、说明复杂的整体。递归方法是通过解... 从方法论意义上说，递归方法是一种从简单到复杂、从低级到高级的可连续操作的解决问题的方法。它的每一步骤都是能行可操作的，各步骤之间是连续转换的。递归定义是用简单的、自明的要素描述、构造、说明复杂的整体。递归方法是通过解决简单的问题来解决复杂的问题。在人们的思维过程中，普遍存在着递归机制。递归方法是一种处理问题的精致技巧、解决问题的有效方法。从哲学方法论角度研究递归方法，具有重要的意义。 展开更多

关键词 递归定义 递归证法 实质 递归方法 计算机 递归函数 递归论

在线阅读 下载PDF 职称材料

连通图临界度定义的注记

9

作者 李永洁 《武汉城市建设学院学报》 1993年第3期40-43,共4页

本文递归地定义了连通图的临界度,并证明了几个定理,揭示了连通图临界度的特殊性质,说明所给出的递归定义与常规定义之间的关系.

关键词 连通图 临界度 递归定义 常规定义

在线阅读 下载PDF 职称材料

小企业与银行的相互关系:递归模型:述评

10

作者 陈云卿 《管理观察》 1996年第6期16-17,共2页

关键词 相互关系 递归模型 小企业 述评 小公司 特许银行 财政因素 逻辑模型 递归定义 外部环境

在线阅读 下载PDF 职称材料

递归过程设计的几种方法

11

作者 赵永华 《德州师专学报》 1996年第4期11-12,共2页

由于递归过程结构清晰,程序易读,而且它的正确性容易得到证明,因此是程序设计的重要工具。利用允许递归调用的语言进行程序设计时,给用户编制程序和调试程序带来很大方便。但是要熟练掌握递归过程的设计方法也不是件轻而易举的事。本文... 由于递归过程结构清晰,程序易读,而且它的正确性容易得到证明,因此是程序设计的重要工具。利用允许递归调用的语言进行程序设计时,给用户编制程序和调试程序带来很大方便。但是要熟练掌握递归过程的设计方法也不是件轻而易举的事。本文从进行递归程序设计的两种主要方法——分治法和回溯法入手来对递归问题进行一下讨论。 展开更多

关键词 递归过程 递归定义 分治法 回溯法 程序设计

在线阅读 下载PDF 职称材料

计算对称群S_n的所有极大子群 被引量：3

12

作者 王绍恒 贾振声 《数学杂志》 CSCD 北大核心 2009年第4期551-556,共6页

本文采用理论分析与编程判断相结合的方法,获得了Sn的全部极大子群的生成元及子群的阶等结果.并将结果用于Sn(n=2,3,4,5,6)进行验证,表明了程序判断的正确性,对计算结果进行归纳获得了Sn的递归定义及Sn可由二元生成等结果,可为进一步研... 本文采用理论分析与编程判断相结合的方法,获得了Sn的全部极大子群的生成元及子群的阶等结果.并将结果用于Sn(n=2,3,4,5,6)进行验证,表明了程序判断的正确性,对计算结果进行归纳获得了Sn的递归定义及Sn可由二元生成等结果,可为进一步研究抽象群提供方便. 展开更多

关键词 对称群 置换群 极大子群 生成元 递归定义

在线阅读 下载PDF 职称材料

塔斯基：语义性真理论与符合论 被引量：3

13

作者 李主斌 《逻辑学研究》 2009年第4期97-113,共17页

塔斯基语义性真理论是否为符合论是一个争论的热点。目前有两种观点认为它是符合论,其一是根据对象语言与元语言的区分,到目前为止此观点已受到激烈批评,其二是根据"满足"概念的递归定义,此观点到目前为止还没有被人详细地阐... 塔斯基语义性真理论是否为符合论是一个争论的热点。目前有两种观点认为它是符合论,其一是根据对象语言与元语言的区分,到目前为止此观点已受到激烈批评,其二是根据"满足"概念的递归定义,此观点到目前为止还没有被人详细地阐明。本文认为塔斯基的语义性真理论是符合论,为此将首先对第一种观点及其反对意见进行深入分析,并得出结论认为该观点不能成立,继而详细阐明第二种观点,表明它是塔斯基本人的意图。在讨论中本文将对一系列的逻辑哲学问题进行探讨。 展开更多

关键词 塔斯基 语义性真理论 符合论 满足 递归定义

在线阅读 下载PDF 职称材料

具有任意多级子菜单的通用菜单程序设计 被引量：1

14

作者 王海林 《微机发展》 1999年第1期39-42,共4页

本文通过ＴｕｒｂｏＣ提供的函数递归定义功能，介绍具有任意多级子菜单的菜单程序，该程序运行于文本方式，具有速度快、人机界面友好等特点。

关键词 C语言 菜单 递归定义 菜单程序 程序设计

在线阅读 下载PDF 职称材料

对塔斯基“真”理论的辩护--与陈晓平教授商榷

15

作者 高超 《逻辑学研究》 CSSCI 2014年第4期87-104,共18页

陈晓平教授对塔斯基的"真"理论提出四点批评,并给出了使用"T′模式"作为真之定义的建议。但"T′模式"并不具有"内容恰当性"和"形式正确性",其引入的对"p"的摹状词解释比... 陈晓平教授对塔斯基的"真"理论提出四点批评,并给出了使用"T′模式"作为真之定义的建议。但"T′模式"并不具有"内容恰当性"和"形式正确性",其引入的对"p"的摹状词解释比塔斯基的方案更复杂,对"真"进行递归定义在现有逻辑学内是不可能的。陈晓平教授对塔斯基"真"理论的批评和建议的失误之处在于误解塔斯基的原意、引入形而上学词项、需要新建形式逻辑。总之,其作为真之定义的"T′模式"是"不能允许地冗长"。 展开更多

关键词 塔斯基 真 满足 递归定义

在线阅读 下载PDF 职称材料

泛系相对性：苏轼庐山悟——一种认知模式

16

作者 李永礼 《凉山大学学报》 2003年第1期109-110,共2页

本文通过数理逻辑和计算机科学中的递归定义引入了对苏轼庐山悟的阐述,从而对人们的一种认知模式和泛系相对性进行了探讨.它也表现了系统的另一类复杂性,客观事物是复杂的,人们对于客观事物的认识关系也是复杂的.

关键词 泛系相对性 认知模式 递归定义 系统复杂性 泛系理论

在线阅读 下载PDF 职称材料

图搜索问题算法推导及形式化证明

17

作者 刘晓丹 胡颖 左正康 《江西师范大学学报（自然科学版）》 CAS 北大核心 2021年第6期642-651,共10页

用非形式化方法解决图搜索问题规模受限,对于一些复杂问题难以保证其正确性.传统的形式化方法推导图搜索问题难以理解且不易于形式化证明,现有形式化方法对这类问题的解决方案较少,在保证可靠性和正确性方面有欠缺.该文通过对图搜索问... 用非形式化方法解决图搜索问题规模受限,对于一些复杂问题难以保证其正确性.传统的形式化方法推导图搜索问题难以理解且不易于形式化证明,现有形式化方法对这类问题的解决方案较少,在保证可靠性和正确性方面有欠缺.该文通过对图搜索问题的深入研究,开发出一种针对解决图搜索算法的新方法.首先刻画问题的规约,利用循环不变式的递归定义技术给出了开发图搜索问题循环不变式的新策略,在此基础上得到Apla抽象算法程序,并对该算法程序进行了形式化证明,再将已验证的Apla算法程序自动生成C++可执行程序,实现了从抽象的形式规约推演出具体的面向计算机的程序代码的程序精化完整过程.以拓扑排序和广度优先遍历为例对所提方法进行实验,实验结果验证了所提方法的有效性,不仅可以推导和证明已知算法,而且对未知算法的推导也有指导性作用. 展开更多

关键词 图搜索问题 循环不变式 递归定义 形式化证明

在线阅读 下载PDF 职称材料

第19届美国数学奥林匹克试题

18

作者 韩冰 《中等数学》 北大核心 1990年第5期42-42,共1页

1.某州颁发由6个数字组成的车牌证号(由0-9的数字组成)。

关键词 实数解 正整数 递归定义 互素 进位制 显函数 函数列 韩冰 口声 共圆

在线阅读 下载PDF 职称材料

有表示素数的公式吗 被引量：1

19

作者 淑生 《自然杂志》 1991年第11期855-859,共5页

人们为想象中的事物而工作比为实际问题而工作更努力,人的心理就是这样奇怪—I.里查兹问题的提出当人类产生了自然数的概念并规定了它们之间的四则运算特别是除法运算之后,素数的概念便自然而然地产生了。据史料记载。

关键词 威尔逊定理 里查兹 孪生素数猜想 构造性证明 构造性数学 工作比 除法运算 递归定义 正整数 欧几里得

在线阅读 下载PDF 职称材料

判定数列单调性的几个方法

20

作者 叶艺林 《景德镇高专学报》 1994年第2期48-50,共3页

单调有界原理是我们判定数列是否存在极限的一个准则。本文针对学生运用这个准则判定数列是否有极限时不知怎样判定数列的单调性问题,介绍了几种常用的判定方法。

关键词 单调数列 判定数 单调增加数列 列单 调性 调减 自然数 式子 单调有界原理 递归定义

在线阅读 下载PDF 职称材料