【摘 要】
：
<正>计算机科学的一个重要分支是机器证明,即用计算机来证明代数、几何、图论、物理、化学等不同学科的猜想、定理、公式.其真实意义不在于证明已知的东西,而在于证明或帮助
论文部分内容阅读
<正>计算机科学的一个重要分支是机器证明,即用计算机来证明代数、几何、图论、物理、化学等不同学科的猜想、定理、公式.其真实意义不在于证明已知的东西,而在于证明或帮助人证明人的智力、能力和时间所不敢问津的问题,举世闻名的“四色定理”就是这样证明出来的.本文尝试证明一个颇具趣味性的题目:卡普雷卡尔常数——数学黑洞6174.《参考消息》1993.3.14～17日,曾连载了关于数学黑洞的文章,1993.7期《读者》杂志又作了摘登,其中一个是6174.这里进一步描述如下:人们都知道,太空中有黑洞.任何物
其他文献
目的:探讨N-乙酰半胱氨酸对慢阻肺患者血清C反应蛋白(C-reactiveprotein,CRP)、降钙素原(procalcitonin,PCT)表达水平及肺功能指标的影响。方法:通过随机抽样法于本院2017年4
<正> 如果你的电脑只有一个分区,或者你的硬盘大于2.5G,那就不浪费你的时间了——在这里,向大家极力推荐美国Syncronys Softcorp公司1998年推出的简洁实用的BigDisk磁盘工具
网球运动是一项广受人们喜爱的运动项目，同时也是奥运会的一个重要比赛项目，参加网球运动不仅能够有效地锻炼人们的协调性、爆发力、心肺功能、耐久力等多方面身体素质，同时也能
如何提高语文课堂教学的有效性。教师可以少教，学生可以多学，这是提高课堂教学效率的有效方法，“少教多学”可实现教与学有机结合。
习近平总书记提出的“新丝绸之路经济带”和“21世纪海上丝绸之路”的战略构想,对我国构建全方位新格局,提升国家话语权具有深远的战略意义。作为世界上跨度最大、最具发展潜
案例研究作为一种研究方法在战略管理研究中有着重要的作用,本文就案例研究方法的目的、逻辑方法、步骤和评价展开论述,并结合战略管理文献对案例研究方法进行诠释。案例研究
中国瓷器在18世纪英国社会受到广泛追捧,但在当时的社会精英眼中,精美实用的中国器物却在审美、道德和贸易等方面损害了大英帝国的利益。为了对抗中国瓷器的影响,他们通过美
<正>《电脑》94年7月刊刊登了广州马敬的《基于WIN-DOWS的中文输入》一文,本人根据他所给出的五笔字型码表的生成程序,经运行从金山DOS的wbx.com提取出了五笔字型码表文本文
学生安全教育工作是班级工作的重中之重，没有安全，就没有一切。关注安全就是关注生命，关注安全就是关注班级的稳定、学校的发展、家庭的幸福、社会的和谐。同时，随着社会的发展，影
大学生是个特殊的群体，是迈向社会的前奏，就业压力、经济压力、学业压力是每个大学生都要面临的，过大的压力不仅影响学生的学业成绩，而且影响他们的身体和心理健康。因此对于大学