更改

添加388字节、 2021年7月16日 (五) 16:57

创建初始框架

do演算的总体定义

=== 为何需要Do演算 ===
对后门准则、前门准则的补充

=== Do演算的规则集 ===

==== 规则一 ====
规则一

==== 规则二 ====
规则二

==== 规则三 ====
规则三

=== Do演算的完备性 ===
参考文献1

=== Do演算的应用 ===

==== 应用案例1 ====
应用案例1

=== Do演算的相关算法 ===

==== 算法一 ====
算法1