首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  免费   2篇
  国内免费   16篇
综合类   1篇
数学   23篇
  2005年   1篇
  2001年   2篇
  2000年   1篇
  1997年   1篇
  1996年   4篇
  1989年   1篇
  1988年   10篇
  1985年   3篇
  1984年   1篇
排序方式: 共有24条查询结果,搜索用时 15 毫秒
1.
不完全三值逻辑在语言表达上的相互比较   总被引:2,自引:0,他引:2  
深入讨论各种命题联结词含量不完全的三值逻辑的语言表达的能力,完全弄明白了三值系统L3,L3,B3,B3,K3,K3,MP的语言表达能力的等效或不等效关系,特别应当指出的一个结论是:中介命题逻辑MP作为一种命题联结词含量不完全的三值系统而言,它和其他命题联结含量不完全的三值逻辑L3,L3Δ,B3,B3Δ,K3,K3Δ的语言表达能力都不等效,从而也由此体现出MP的一种自身特色。  相似文献   
2.
该文从数学方法论的角度阐述了归纳、类比等数学方法在数学发现、发现与创新中的重要作用.从这一观点出发,提出了采用类比方法实现数学发现的计算机模拟的基本思想,并介绍了一个通过类比平面几何中的定理来发现立体几何中的有关定理的模型.实验结果表明,该模型具有一定的发明创新能力.  相似文献   
3.
常系数线性微分方程RMI解题机   总被引:1,自引:1,他引:0  
本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果,摸拟人的数学思维过程,采用关系映射反演(RMI)方法,通过符号推理给出微分方程解析解的数学软件.文中介绍了研制该解题机的基本思想和实现技术,并给出了用解题机求解微分方程和微分方程组的几个实例.  相似文献   
4.
本文概述中介公理集合论MS中有关“两种谓词的划分与定义”、“集合的运算”、“谓词与集合”、“小集与巨集”、“MS与ZFC的关系”、“逻辑数学悖论在MS中的解释方法”等文中的定义、引理和定理。  相似文献   
5.
6.
本文用分类的办法介绍了若干大基数的定义及有关重要结果,以统一的性质考察了它们间的相互关系,最后又划分出强、弱型大基数。  相似文献   
7.
In the past, people tried to exclude paradoxes only by the developing of multiple-valued logic system rather than the modification of comprehensive principle. Nevertheless, paper[1] proved that any mathematical system which satisfies conditions:  相似文献   
8.
中介逻辑的命题运算系统(Ⅰ)   总被引:1,自引:0,他引:1  
  相似文献   
9.
10.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号