数学语义

作品数：3被引量：2H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张君玉董国明李晖陈丽琼陈丹敏更多>>
相关机构：中国科学院研究生院无锡高等师范学校武汉大学河南大学更多>>
相关期刊：《师范教育》《计算机应用研究》更多>>
相关基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
软件进程计算结构分析
《计算机应用研究》2009年第5期1733-1735,1753,共4页李晖 陈世鸿 
国家"863"计划资助项目(2002AA111010;2003AA00103)
以数学语义分析并描述软件进程计算结构,建立了实用计算原型树。在此基础上,实现计算结构模块化处理及建立模块化展开公式,使软件进程的计算从节点算子的计算转换成模块算子计算。
关键词：数学语义 计算结构 原型树 计算单位 模块 
支持数学语义描述的在线公式编辑器实践被引量：2
《中国科学院研究生院学报》2008年第6期824-829,共6页董国明 张君玉 
针对目前网上处理数学公式多采用图片或需安装插件的弊端,提出了一种在线数学公式编辑器实现方案——E-Math.该方案面向主流的MSIE用户,以Content Math ML作为描述语言,使用Java Script和XSLT技术实现,表达了公式的数学含义,支持符号计...
关键词：在线数学公式编辑器 MATHML JAVA SCRIPT XSLT 
理解数学语义 寻找解题途径
《师范教育》2003年第10期16-17,共2页李尧兴 
数学语言的特征是形式化、符号化.数学符号包括两个方面,一是符号形式,即符号的外在形式,二是符号语义,即符号所反映的数学概念、定理、法则、关系等.在不同的知识背景下,或不同的问题情境中,同一形式的数学符号往往有不同的语义解释,...
关键词：数形结合 解不等式 符号形式 解题过程 意指作用 直线斜率 函数表达式 距离公式 解集 求根公式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部