单例实验法相关论文
阐述了定理机器证明中的例证法思想,列举了例证法在高数教学中的实例,分析了例证法在高数教学中的作用及注意点。......
阐述了例证法的理论,分析、论证了例证法应用于定理机器证明的可行性,介绍了几何命题代数化的方法和步骤,并介绍了数值并行例证法......