珠算的形式模型与算法

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