基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
推荐文章
一种形式化开发非递归算法的方法
形式化方法
非递归
PAR
循环不变式
可靠性
CAD系统设计中的形式化方法与功能命题
功能设计
数学模型
CAD系统设计
基于多色集合理论的概念设计形式化解决方法
多色集合
概念设计
递阶结构树
约束
SIP协议系统模型的形式化研究
形式化规范
SIP协议
SDL
MSC
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 刍议数学命题的非形式化解法及功能
来源期刊 福建中学数学 学科
关键词
年,卷(期) 2014,(12) 所属期刊栏目 命题研究
研究方向 页码范围 1-3
页数 3页 分类号
字数 3332字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 熊成华 1 0 0.0 0.0
2 陈永建 2 3 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (2)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2014(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
福建中学数学
月刊
35-1084/O1
16开
福建师范大学数学与计算机科学学院
34-9
1980
chi
出版文献量(篇)
4013
总下载数(次)
2
总被引数(次)
1225
论文1v1指导