论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 科教文艺期刊 \
- 中学生教育期刊 \
- 中学数学教学参考：上半月高中期刊 \
数学形式化与非形式化的研究综述
推荐文章
CIM建模及模型形式化方法研究综述
计算无关模型
多视图多层次模型
模型一致性
模型形式化
SIP协议系统模型的形式化研究
形式化规范
SIP协议
SDL
MSC
DO-333标准形式化方法研究
安全关键系统
机载软件
形式化方法
形式化模型
形式化分析
DO-333
DO-178C
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 数学形式化与非形式化的研究综述 | ||
| 来源期刊 | 中学数学教学参考：上半月高中 | 学科 | 教育 |
| 关键词 | 非形式化 课程标准 普通高中 数学思维活动 数学概念 数学教学 数学形式化 | ||
| 年，卷（期） | 2006,（8） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 45-48 | |
| 页数 | 4页 | 分类号 | G633.6 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2006(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
非形式化
课程标准
普通高中
数学思维活动
数学概念
数学教学
数学形式化
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
中学数学教学参考：上半月高中
主办单位：
陕西师范大学
出版周期：
月刊
ISSN：
1002-2171
CN：
CN 61-1032/G4
开本：
出版地：
陕西师范大学校内
邮发代号：
创刊时间：
语种：
出版文献量（篇）
1934
总下载数（次）
14
总被引数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
中学数学教学参考：上半月高中2011
中学数学教学参考：上半月高中2010
中学数学教学参考：上半月高中2009
中学数学教学参考：上半月高中2008
中学数学教学参考：上半月高中2007
中学数学教学参考：上半月高中2006
中学数学教学参考：上半月高中2006年第9期
中学数学教学参考：上半月高中2006年第8期
中学数学教学参考：上半月高中2006年第7期
中学数学教学参考：上半月高中2006年第6期
中学数学教学参考：上半月高中2006年第5期
中学数学教学参考：上半月高中2006年第4期
中学数学教学参考：上半月高中2006年第3期
中学数学教学参考：上半月高中2006年第12期
中学数学教学参考：上半月高中2006年第11期
中学数学教学参考：上半月高中2006年第10期
中学数学教学参考：上半月高中2006年第1期
