论文部分内容阅读
数学定理的机器证明及其应用李莉莎（内蒙古供销学校）数学定理的机器证明是中国数学家发展起来的具有中国特色的数学研究新领域．这一研究方向受到了国内外学者的共同关注，其成果得到了数学界的高度评价和重视，为中国数学争得了荣誉．本文拟对这一领域的研究状况、进展...
数学定理的机器证明及其应用
【摘 要】
：
数学定理的机器证明及其应用李莉莎（内蒙古供销学校）数学定理的机器证明是中国数学家发展起来的具有中国特色的数学研究新领域．这一研究方向受到了国内外学者的共同关注，其成果得
【机 构】
：
内蒙古供销学校;
【出 处】
：
数学通讯
【发表日期】
：
1997年03期
其他文献
处于中学阶段的学生,正式进入了人生波动最大的时期—青春期,除了正常的身体特征的变化,更多的变化处于心理阶段,日趋成熟。针对中学生的特点,密集跑能很好的规范和引导中学
随着现代互联网的发展,更好地应用信息技术为教育教学服务,迫在眉睫。文章通过对福州市高中化学微课现状的调研,探讨了＂互联网＋＂背景下高中化学微课开发与应用等问题。
获得了Ｒ－循环分块矩阵的一些充要条件，并利用ＦＦＴ证明了有关算法的计算复杂性为Ｏ（ｎ＾２ｍｌｏｇ２ｍ＋ｍｎ＾３）。
在如今的人口大环境下,老龄化的程度已经越来越明显。于是,社会上关于如何更好地照顾老年人便成为了主要的发展议题,人口老龄化对于社会的发展已经形成了一定程度上的压力。
目的探讨集束化管理结合健康教育在经外周静脉置入中心静脉导管(PICC)留置的乳腺癌患者中的应用及其对患者营养状态和生存质量的影响。方法选取2014年9月至2016年4月住院治疗
<正> 美国数学家穆尔(E.H.Moore1862—1932)说过:“所有科学,包括逻辑和数学在内,都是时代的函数。”“李约瑟难题“和“陈省身猜想”,就其实质而言,两者都是“时代的函数”