应用归结原理例-讲课PPT共22页