---计算机---
计算机逻辑方面：或等式，交互式，循环式，逆向式，穷举式。
或等式：单向等于（左等于右而右不等于左或右等于左而左不等于右），双向等于（左和右互相等于），不等于（可大于，可小于，就是不等于），或等于（大于或等于——不小于；小于或等于——不大于），等或（如果当前获得的结果是错的，那么另一种近似等于的结果是什么，最常用于纠错）；全等于（点阵方程式和点阵数值阵列），不全等于，全不等于。
交互式：由谁提供的算法，由谁提供的选择，由谁输入的初始条件，由谁决定选择分支，由谁决定取值的结果。
循环式：开始进入循环的初始条件，循环中止规则，循环暂停规则，循环跳出规则，循环挂起规则，循环重启规则。
逆向式：由结果逆推过程和初始条件，常常用于硬件纠错。
穷举式：求正穷举（也就是穷举所有理论上正确的所有可能性，高手克高手咯），求反穷举（也就是穷举所有理论上无法确定其正确性的所有可能性，避免出现菜鸟克高手的情况），求同穷举（也就是如何获得同样的结论，只要求过程不同，而结果相同；或单纯要求过程相同；或单纯要求初始条件相同），求异穷举（如何获得不同的结论，也就要求对一切已有的和未有的都持有质疑）。
---机器人---