首页> 外文会议>International conference on software quality engineering >An environment for supporting the learning of abstract algebra
【24h】

An environment for supporting the learning of abstract algebra

机译:支持抽象代数学习的环境

获取原文

摘要

An environment for supporting interactive abstract algebra learning is presented. The environment is based on the definition of an object-oriented programming language integrated with an automated deduction tool. The class construct is enhanced by allowing for defining axioms for the objects in that class. We present the main features of the environment, and show some significant examples based on work sessions.
机译:提出了支持互动抽象代数学习的环境。 环境基于与自动扣除工具集成的面向对象编程语言的定义。 通过允许为该类中的对象定义公理来增强类构造。 我们介绍了环境的主要特征,并以工作会话显示了一些重要的例子。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号