对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
通过工程实例对它在建筑地基中防空洞的评价和处理上的应用进行了探讨，取得了良好的效果。
By engineering examples, it discusses the application of the assessment and treatment of the theory to the air-raid shelter in the construction foundation soil. Good results are obtained.
通过一工程实例中悬挑梁的正截面配筋计算，对钢筋混凝土悬挑梁正截面超筋的概念进行了分析和探讨。
Through a calculation of the strength of normal section of extra-reinforced cantilever beam for an actual project, the conception of normal section of extra-reinforced cantilever beam is analyzed.
应用推荐