杨晨

作品数：3被引量：8H指数：2
导出分析报告
供职机构：江西师范大学更多>>
发文主题：PAR方法PAR平台形式化推导PAR形式化方法更多>>
发文领域：文化科学自动化与计算机技术经济管理哲学宗教更多>>
发文期刊：《电脑知识与技术》《计算机与现代化》更多>>
所获基金：国家自然科学基金国际科技合作与交流专项项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
三个经典数学问题的形式化开发被引量：2
《计算机与现代化》2010年第8期1-4,共4页杨晨 薛锦云 苏昭 
国家自然科学基金资助项目(60773054);科技部合作项目(2008DFA11940)
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台...
关键词：PAR方法 PAR平台 形式化推导 
形式化方法在高中算法教学中的应用研究被引量：3
《计算机与现代化》2010年第7期87-92,共6页苏昭 薛锦云 杨晨 
国家自然科学基金资助项目(60773054);科技部国际合作项目(2008DFA11940)
国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通高中均按新课标开展教学实验,不少省份还把算法内容纳入高考。同时现有算法初步和算法与程序设计教材在介...
关键词：可信软件 形式化方法 PAR方法 
PAR在数学算法中的应用被引量：3
《电脑知识与技术》2010年第3期1641-1644,共4页杨晨 
针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性,得到算法简短易于理解的同时也可以同时保证算法的正确性,理...
关键词：PAR方法 PAR平台 形式化推导 算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部