机器证明的困难所在

机器证明是人工智能的一个重要课题,即用计算机来证明定理,亦称自动证明或定理的机械化证明,其基础是由 Hibert 在1930年奠定的,60多年来历程艰苦,困难在于传统逻辑、三段论、充分条件、同理可证、直觉思维的局限性。如果我们正视这些困难,利用专家系统,机器学习等技术,机器证明将进入一个崭新的局面。

局部环上矩阵模保立方幂等的自同态

确定了局部环上矩阵模保立方幂等的自同态形式.

漫谈教学检查与评价

教学是有目的、有计划的实践活动,必须经常、深入地对教学实际情况进行检查与评价,以验证其教学目的和目标的实现程度.

关于严格拟凸（凹）函数的性质及其在数理经济学中的应用

研究讨论了在数理经济学中非常严重的严格拟凸（凹）函数的若干性质，并给出了严格拟凸（凹）函数在数理经济学中应用的几个结论。