审计程序的种类主要包括以下几种：

检查：

对被审计单位内部或外部生成的记录、文件进行审查，或对资产进行实物审查。

观察：

查看相关人员正在从事的活动或实施的程序。

询问：

向被审计单位内部或外部的知情人员获取财务信息和非财务信息。

函证：

通过向第三方发出询问函件，获取与被审计单位有关的确认信息。

重新计算：

对财务数据或交易进行重新计算，以验证其准确性。

重新执行：

重新执行某些内部控制程序，以验证其有效性。

分析程序：

对财务数据进行分析，以确定是否存在异常或不符合预期的情况。

这些程序是审计过程中的基本工具，用于收集和分析证据，以评估财务报表的真实性和公允性，并确保内部控制的有效性。