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

检查：

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

观察：

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

询问：

向被审计单位内部或外部的知情人员获取财务信息和非财务信息，并对答复进行评价。

函证：

直接向第三方获取书面答复，以作为审计证据。

重新计算：

核对记录或文件中的数据计算的准确性。

重新执行：

独立执行原本作为被审计单位内部控制组成部分的程序或控制。

分析程序：

分析不同财务数据之间以及财务数据与非财务数据之间的内在关系，对财务信息作出评价。

这些程序有助于审计人员收集和分析证据，以评估财务报表的真实性和公允性。