计算机教育2024,Issue(3) :30-34.

珠算的形式模型与算法

董荣胜 伍锡鹏 乔宇澄 李凤英
计算机教育2024,Issue(3) :30-34.

珠算的形式模型与算法

董荣胜 1伍锡鹏 1乔宇澄 1李凤英1
扫码查看

作者信息

  • 1. 桂林电子科技大学计算机与信息安全学院,广西桂林 541004
  • 折叠

摘要

为了用基于符号化的形式公理体系描述珠算的数理功能,文章首先介绍如何对5珠15档算盘、珠算加减乘除和珠算开平方口诀进行形式化建模,并用伪代码对珠算口诀和规则进行算法描述,同时提出一套基于C++语言的珠算可视化演示与学习系统,以验证模型的可行性和辅助教学,实现珠算的形式模型与算法.

关键词

珠算/算盘/算法/形式模型/C++/可视化/演示与学习系统

引用本文复制引用

出版年

2024
计算机教育
清华大学

计算机教育

影响因子:1.033
ISSN:1672-5913
参考文献量14
段落导航相关论文