算式可以分成两类：数学算式和逻辑算式。

数学算式是基于数字和数学符号的表达式，包括加减乘除、平方根、对数等运算。数学算式可以用来表示量和量之间的变化关系，如时间和速度之间的关系。逻辑算式是基于逻辑符号和谓词的表达式，一般用来表示命题和推理关系。逻辑算式可以用来描述推理规则，例如如果A是真，那么B也是真。在计算机科学中，逻辑算式常用于描述程序的逻辑判断和条件分支。