切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于数学证明方法与算法实现关系的一些探讨
关于数学证明方法与算法实现关系的一些探讨
来源 :大学数学 | 被引量 : 0次 | 上传用户:tianchaoguoshi
【摘 要】
:
从数学证明和程序设计的角度,分析比较了数学命题定理证明中常用的数学归纳法、递推算法、递归算法、反证法等数学方法.讨论了它们在理论证明、算法实现方面的联系和优缺点,提出
【作 者】
:
宋士仓
李镇
【机 构】
:
郑州大学数学系
【出 处】
:
大学数学
【发表日期】
:
2010年A01期
【关键词】
:
数学证明方法
算法实现
程序设计
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从数学证明和程序设计的角度,分析比较了数学命题定理证明中常用的数学归纳法、递推算法、递归算法、反证法等数学方法.讨论了它们在理论证明、算法实现方面的联系和优缺点,提出教学中的一些建议.
其他文献
目标规划的图解法与等值线
运用和发展了等值线的思想方法,研究目标规划中的多目标决策问题的图解法,提出了运用改进等值线方法研究多目标决策问题的新思路.
期刊
改进等值线方法
目标规划
多目标决策问题
鞅空间K(lnK)^q和M(lnM)^q(q〉0)的定义及性质
在鞅的研究中,人们把具有某种相同性质的鞅归为一类,这就形成了许多不同的鞅空间.本文定义了两组新的鞅空间,并给出了这两组鞅空间之间以及它们与已知鞅空间的关系,最后给出
期刊
鞅空间
FUBINI定理
凸函数
martingale space
Fubini theory
convex function
严格管理 科学储粮——谈中央储备粮库哈尔滨直属库的企业管理
中央储备粮库哈尔滨直属库是集粮食仓储和粮食加工于一体的国有大型综合性企业.总占地面积54万平方米,固定资产12.781万元,仓容45万吨,2001年盈利372万元.被评为黑龙江省文明
期刊
中央储备粮库哈尔滨直属库
企业管理
库房管理
现场管理
费用管理
从西雅图的信看美洲印第安人的自然观
原始民族的自然观对现代社会在面对环境危机时重新思考人与自然的关系可以提供一些启发.从19世纪一位印第安酋长的信可以看出,美洲印第安人的自然观有不少与西方当代环境哲学
期刊
环境哲学
印第安人
自然观
人
自然
关系
environmental philosophy
American Indians
conception of
媒体该为谁扬名?
在人们的印象中,有些媒体在事件性报道上存在一种倾向:某地发生了烟花爆炸,媒体立即会传来报道,那里的领导是如何快速赶到现场,及时组织人员抢救,将灾情造成的损失降到最低限度;某地
期刊
新闻媒体
现场指挥
指挥决策
调度指挥
领导
事件性新闻
新闻工作者
报道方式
当今汉语修辞现象剖析——以2007年6月9日《甘肃经济日报》为据
修辞就是依据题旨情境运用各种语言材料,各种表现手法,恰当地表现写说者所要表达的内容的一种活动。而修辞现象在语言的运用中可以说表现在方方面面,陈望道先生将修辞现象划
期刊
修辞
选词
炼句
辞格
含有治愈部分的可加危险模型的估计
最近可加危险(AH)模型被广泛地应用于生存分析数据,模型的协变量可以假设为时间独立或时间相关的.基于混合治愈模型,有界累计危险治愈模型和“不正确”的比例危险模型.本文将上述的
期刊
可乘危险
可加危险
治愈模型
模型识别
部分似然
multiplicative hazards
additive hazards
cure model
m
修辞视界的“把字结构”
对外汉语教学是汉语研究的试金石.用这一试金石检验"把字结构"的研究,便可发现我们的许多认识尚停留在"知其然而不知其所以然"的阶段.反映在对外汉语教学实践中则是教材和教
期刊
把字结构
修辞
平衡美
结果强调
音韵美
ba structure'
rhetoric
beauty of balance
result stre
“无人新闻”与人文精神
长期以来,在我们的新闻媒体中,"人"的缺位一直是一个突出的问题,新闻实践中由于对"人"的忽视而制造的"无人新闻"比比皆是.这里的意思并不是说,我们的新闻里没有人的存在,而是
期刊
新闻实践
说新闻
新闻媒体
人文精神
关心
人文主义
情感
体贴
命运
生存状态
利用叶龄数在日光温室中鉴定玉米杂交种纯度初试
本试验初步研究了玉米杂交种与其母本自交系幼苗在日光温室中叶龄发育上的差异,提出了利用日光温室种植方法在短期内准确鉴定玉米杂交种纯度的新方法.杂交种掖单12号、掖单19
期刊
日光温室
玉米杂交种
叶龄
母本
自交系
纯度
苗期鉴定
初步研究
左右
发育
与本文相关的学术论文