共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
傅海伦 《科技导报(北京)》2001,19(16):14-15
一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。 相似文献
3.
傅海伦 《科技导报(北京)》2001,(6):14-15,30
一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到19世纪末 ,希尔伯… 相似文献
4.
5.
关于北宋元重要诗人郭祥正埋没诗坛近九百年的原因 ,目前学术界还没有一个统一可信的共识。本文认为郭祥正埋没诗坛的原因与其同王安石、苏轼、李之仪间的历史记载的偏颇有着密切的关系。《宋史》、《宋诗话辑佚》、《挥麈录》等文献将郭祥正记载为揭人隐私的轻薄文人。这些文献记载又为后代所摘引 ,致使郭祥正长期蒙受污名。由此 ,其人其诗也遭贬低 ,逐渐淡出诗坛。所以 ,纠正历史记载的偏差、恢复郭祥正的真实面貌对于我们重新认识和评价郭祥正其人其诗具有重要意义 相似文献
6.
7.
80年代中晚期 ,我国文坛上出现了一大批问题报告文学作品。本文试图从复杂的社会生活、文学传统、读者的精神需求、活跃的中国理论界这四个方面探讨问题报告文学的产生和发展。 相似文献
8.
9.
10.
张新安 《河南师范大学学报(自然科学版)》1999,27(1):83-87,103
本文从生产力发展与人的自然存在矛盾方面,探讨了生产力发展决定体育必然在人类社会产生与发展的内在机制.运用这一理论能较好解释体育产生与发展的必然性,深化了对体育的认识. 相似文献
11.
12.
徐洪焱 《江西师范大学学报(自然科学版)》2017,(2):180-183
讨论了Laplace-Stieltjes变换所定义的整函数的对数级与对数型等问题,得到了关于Laplace-Stieltjes变换的对数级、对数型的2个等价定理. 相似文献
13.
18世纪,瓦哈卜依靠沙特家族,掀起了一场复兴运动,旨在纯洁伊斯兰教,复兴穆斯林社会,他继承了伊本.泰米叶的改革思想,尊崇罕百里教法学派和圣训学派。瓦哈卜思想的产生是为了应对来自多方面的挑战,既有来自伊斯兰哲学、苏非主义、什叶派的挑战,也有西方世界的威胁。他反对关于安拉属性的讨论,反对任何形式的中介,主张重启创制之门,重申陶赫德,区分认主独一与拜主独一,严禁任何形式的以物配主。这是伊斯兰教的一次自我修正,它开辟出了一条以宗教改革带动国家进步的发展模式,对现代伊斯兰主义的产生有着深远的影响,今仍为沙特阿拉伯国教,影响着中东局势的发展。 相似文献
14.
闵帅 《萍乡高等专科学校学报》2002,(2):21-24
毛泽东的农业发展思想是我国探索社会主义农业现代建设理论的第一步 ,是党中央第一代领导集体和广大农民群众共同奋斗的伟大成果。毛泽东以强烈的反传统精神 ,力图吸取苏联社会主义建设的经验教训 ,实行工农并举 ;试图以生产关系的变革推进农业生产力的跃进。在农业社会主义改造和建设上取得辉煌成就的同时 ,由于主观上经验的缺乏与主观主义的膨胀 ,急于生产关系的变革 ,忽视了生产力的发展 ,造成了其理论的严重缺陷与不足 相似文献
15.
试论周恩来科技思想的历史发展与分期 总被引:1,自引:0,他引:1
周恩来自幼年就十分关注先进科学技术的发展对中国的影响,在长期的革命生涯中不断发展,成熟,终于形成丰富而系统的科学技术思想,他的科学技术思想,对中国社会主义现代化建设有重大的指导作用。 相似文献
16.
陈静 《玉林师范学院学报》1994,(2)
刘少奇同志善于把马列主义普遍真理,创造性地运用于中国的实践,形成了具有中国特色的发展生产力的理论,丰富和发展了毛泽东思想宝库.其思想主要有三个方面:一、从实际出发发展生产力;二、在新的生产关系下保护和发展生产力; 三、对社会生产的调节既要有计划性,又要有多样性与灵活性.刘少奇发展生产力的思想,对今天的改革开放仍具有重大的指导意义. 相似文献
17.
随着经济全球化发展趋势的深入,我国国有企业的思想政治工作也发生巨大改变,受到前所未有的冲击与挑战。在新的竞争形势下,国有企业应不断加快思想创新、体制创新及工作方法创新等,以企业世纪发展需要为出发点,实事求是,在创新中寻求发展。 相似文献
18.
共同富裕思想是邓小平理论体系中的一个重要组成部分,在这个理论中,邓小平在继承毛泽东关于共同富裕思想的同时,又发展了毛泽东的共同富裕思想,取得了丰硕的理论成果。 相似文献
19.
在过去十来年中,ATM成为下一代网络的重要技术,它可以提供空前的可伸缩性和性价此,以及对将来的实时业务、多媒体业务等的支持。在将来的信息系统中,ATM将扮演重要的角色。本文就ATM在省发改委网络系统实际应用的一些相关问题以及今后发展中面临的挑战等进行阐述。 相似文献
20.
文章围绕西藏社会制度、政治环境、传统文化和对外交流四个层面,对西藏当代音乐的产生与发展问题进行了探讨,认为社会制度的跨越是西藏当代音乐产生与发展的根源,西藏悠久的传统音乐是当代音乐形成与发展的基础,党的文艺方针及党对文艺工作的正确领导是西藏当代音乐赖以发展的政策和组织保障,二十世纪世界文化的空前交流是西藏当代音乐形成与发展的客观条件。 相似文献