Do演算

LFZ（讨论 | 贡献）2021年7月16日 (五) 16:57的版本（创建初始框架）

(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)

do演算的总体定义

为何需要Do演算

对后门准则、前门准则的补充

Do演算的规则集

规则一

规则一

规则二

规则二

规则三

规则三

Do演算的完备性

参考文献1

Do演算的应用

应用案例1

应用案例1

Do演算的相关算法

算法一

算法1

取自“https://wiki.swarma.org/index.php?title=Do演算&oldid=24436”