论文部分内容阅读
针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性,得到算法简短易于理解的同时也可以同时保证算法的正确性,理论分析和试验表明,PAR是学习算法开发的一个有效平台。
PAR在数学算法中的应用
【摘 要】
：
针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性
【机 构】
：
江西师范大学计算机信息工程学院
【出 处】
：
电脑知识与技术：学术交流
【发表日期】
：
2010年3期
其他文献
目的：了解社区居民老年人糖尿病的临床特点及糖尿病随访状况。方法：我院所管辖区内60岁以上老年糖尿病,对其临床特点及随访状况进行分析。结果：老年糖尿病具有病程长、合并症多
摘要：司法信息安全专业作为应用性、实践性很强的专业，应以“就业为导向、以能力为本位”，以工学结合为切入点，以职业岗位能力为主线，构建“知识 专业能力 职业素养”的高技能、应用型人才培养模式，提高高职教学的针对性和应用性，激发学生的学习兴趣，促进学生职业能力的养成和发展。 关键词：高等职业教育；司法信息安全专业；岗位技能；人才培养体系 中图分类号：TP393文献标识码：A文章编号：1009-30
摘要:为了强化学生创新意识,培养学生实践创新能力,南京邮电大学将学生的自主个性化学分纳入培养计划,按照必修学分进行,以此为需求设计了一套适合南京邮电大学的自主分管理系统,大大方便了学生查询自主分和教师管理自主分。重点介绍了系统的整体结构和统计功能。 关键词:学生;个性化;学分 中图分类号:TP311 文献标识码:A 文章编号:1009-3044(2010)19-5132-02 Student
1病例分析患者男性,39岁,因＂腹胀伴目黄、尿黄20天＂入院。因发白服用＂精乌片（何首乌、黄精）＂6片/次,3次/日,服用2月,出现上腹饱胀感,伴有尿黄,无发热、腹痛、腹泻,于家中自服＂健胃消
胃血管球瘤在胃肠道起源的肿瘤中非常罕见,其病因尚不明确。笔者回顾性分析了6例胃血管球瘤患者的临床资料,以提高胃血管球瘤的诊断及治疗水平。资料分析：2010年1月~2015年1月
胃肠道间质瘤（GIST）是一类起源于胃肠道间叶组织的肿瘤,占消化道间叶肿瘤的大部分,可发生于食管至肛门的全消化道,其中60%~70%起源于胃,20%~30%起源于小肠[1]。本研究回顾性分
摘要：数字化校园是利用信息技术手段，将校园的教学、科研、管理、生活等信息全面数字化，并通过数据标准化、统一身份管理、公共信息共享、单点登录和业务间融合等手段，将资源、服务和管理以统一门户的方式呈献给校园师生，从而在传统校园的基础上，构造出一个虚拟的空间，提升学校的教学、科研和管理水平。 关键词：数字化校园；集成；共享；统一身份认证；单点登录 中图分类号：TP393文献标识码：A文章编号：100
目的：探讨高频彩色多普勒超声仪在阑尾炎诊断中的临床应用价值。方法：选择64例超声诊断的阑尾炎病例进行分析。结果：64例患者中，17例急性单纯性阑尾炎，8例慢性阑尾炎，25例急性化脓
目的：观察普罗布考治疗早期糖尿病肾病（ DN）的效果，及其对血浆同型半胱氨酸（ Hcy）和转化生长因子β1（ TGF－β1）水平的影响。方法将186例早期DN患者随机分为观察组和对照组各93例，均给予