教学辅助系统

作品数：196被引量：350H指数：9
导出分析报告
相关领域：文化科学自动化与计算机技术更多>>
相关作者：潘旭东王广林李静刘晓张照录更多>>
相关机构：电子科技大学北京工业大学哈尔滨工业大学大连理工大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金江西省教育厅科学技术研究项目南京农业大学SRT基金黑龙江省高等教育教学改革工程项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 机构=吉林大学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于多语言范例的“形式语义学”教学辅助系统
《吉林大学学报（理学版）》2009年第3期530-536,共7页金英 郑晓娟 张晶 孙旭东 
国家自然科学基金青年基金(批准号:60603031)
针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可...
关键词：形式语义学 可视化教学辅助系统 增量式设计 实践驱动教学 
“信息检索与利用”网络课程辅助系统——智能测试系统的设计被引量：5
《现代图书情报技术》2004年第4期75-77,74,共4页王永丽 王伟 沈秀丽 
教育部新世纪网络课程建设工程项目"信息检索与利用"研究论文之一
对智能测试系统的开发进行了详细介绍 ,提出并实现了该系统的两个重要部分——题库系统和网上考试系统 ,题库系统中的标准化试题系统、试卷系统对提高教学质量起到推动性作用。网上考试系统具有智能性特点。
关键词：信息检索 信息利用 网络课程 教学辅助系统 智能测试系统 网上考试 题库系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部