您的位置: 专家智库 > >

杜绍坤

作品数:6 被引量:6H指数:1
供职机构:西南交通大学更多>>
相关领域:理学文化科学哲学宗教更多>>

文献类型

  • 4篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 4篇理学
  • 1篇哲学宗教
  • 1篇文化科学

主题

  • 2篇代数
  • 2篇蕴涵代数
  • 2篇格蕴涵代数
  • 1篇定理
  • 1篇职高
  • 1篇职教
  • 1篇指数型
  • 1篇数学
  • 1篇子格
  • 1篇逻辑代数
  • 1篇命题逻辑
  • 1篇教育
  • 1篇教材建设
  • 1篇高职
  • 1篇高职高专
  • 1篇高职教育
  • 1篇高专
  • 1篇格值
  • 1篇格值命题逻辑
  • 1篇函数

机构

  • 4篇河北水利电力...
  • 2篇西南交通大学

作者

  • 6篇杜绍坤
  • 2篇王建平
  • 2篇马池德
  • 1篇王洪林
  • 1篇徐扬
  • 1篇田飞
  • 1篇张家锋

传媒

  • 2篇河北工程技术...
  • 1篇中小企业管理...
  • 1篇毕节学院学报...

年份

  • 2篇2014
  • 3篇2013
  • 1篇2011
6 条 记 录,以下是 1-6
排序方式:
用非标准分析方法对极限概念的一种理解
2013年
极限概念是整个微积分最基本、最核心的概念,维尔斯特拉斯给出了极限严格的ε-δ定义,使得微积分有了坚实的理论基础,但对初学者而言ε-δ语言显得有些抽象;非标准分析是由美国数理逻辑学家鲁滨逊创立的,它用无穷小量建立超实数域,直观形象的解释了无限趋近的问题。本文即在非标准分析的基础上,用无穷小量对极限概念作出了另外一种分析与理解。
马池德杜绍坤
用指数型辅助函数证明中值等式的技巧
2013年
通过构造适当的指数型辅助函数证明中值等式,是高等数学教学中对学生进行应用数学思想方法解决问题技巧训练的一个不可缺失的环节,文中结合具体的实例给出几种适于构造指数型辅助函数的中值问题的证法。
王建平田飞杜绍坤
关键词:ROLLE定理LAGRANGE定理CAUCHY定理
格蕴涵代数与R_0代数的关系被引量:1
2013年
本文主要讨论了格蕴涵代数、格H蕴涵代数、R_0代数与BR_0代数的关系,得到了它们的包含关系图。
杜绍坤
关键词:格蕴涵代数
关于高职高专数学教材建设的几点思考被引量:4
2014年
文中针对高职高专高等数学教材的现状,分析了教材建设中存在的问题及其产生原因,根据高职高专将来的发展趋势,提出了高职高专高等数学教材建设的几点思考与建议。
杜绍坤王建平王洪林马池德
关键词:教材建设高等数学高职教育
格蕴涵代数及其与相关逻辑代数的关系研究
格蕴涵代数是一种重要的逻辑代数,它可以为格值逻辑和不确定性推理的研究提供一种理论基础.本文在已有研究成果的基础上,对格蕴涵代数作进一步研究.首先,讨论格蕴涵代数的一些性质;其次,讨论格蕴涵代数滤子的一些性质,提出次极大滤...
杜绍坤
关键词:格蕴涵代数R0代数
语言真值格值命题逻辑中的α-语义归结方法
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自...
张家锋徐扬杜绍坤
共1页<1>
聚类工具0