审计的审核程序主要包括以下几种：
检查：
审计人员会对被审计单位的会计凭证、账簿、报表等书面资料进行详细审查，以核实数据的准确性和业务的合规性。
观察：
审计人员会亲自到被审计单位的工作现场，观察其业务活动的执行情况，例如，观察仓库的货物收发流程，看是否与企业规定的内部控制制度相符。
询问：
审计人员会向被审计单位的相关人员进行提问，了解业务的实际情况。这包括从管理层到基层员工，不同层面的询问，以获取多维度的信息。
函证：
这是一种重要的外部证据获取方式。审计人员会直接向第三方发函，核实诸如银行存款余额、应收账款金额等重要信息。
重新计算：
审计人员会对被审计单位的一些重要数据，如成本、费用的计算等，亲自重新计算一遍，以验证其准确性。
重新执行：
审计人员会重新独立执行被审计单位的一些内部控制程序，例如，重新检查采购审批流程，以判断内部控制的有效性。
这些程序共同构成了审计的审核流程，旨在确保审计工作的全面性和准确性，从而得出恰当的审计结论和意见。