暂无评论
精心设计的深入浅出的介绍了数理逻辑、可计算理论、人工智能等学科领域中的许多艰深理论,然而当你翻阅它的时候,却是爱舍尔那些构思奇特的名画以及巴赫的曲谱
目前利用生态学的方法来研究计算机网络的相关问题取得了一定的成果,但都是在默认网络与生物界存在相似性的基础上,很少有研究者对两者之间的映射关系进行定量的分析和描述。这种分析和描述是该领域一切研究问题的基
一般皮特森图H圈的算法及有关猜想的证明,谢应泰,,本文应用作者所找到的H图的一个充要条件和求图的H圈的算法于一般彼得森图(Generalized Petersen Graphs),对一般彼得森图的哈密
叙事体风格描述,读起来比较啰嗦,自由散漫,杂乱无章,令人费解。名词缩写EGB,BEG又翻译成汉字,烦不胜烦!简单明快,直指核心好不好!期待解码、译码!做摘要、提炼精华。然则不静心不读书,后续再做更细的
目录:作者为中文版所写的前言译校者的话概览插图目示鸣谢上篇:集异璧geb导言一首音乐--逻辑的奉献:三部创意曲第一章wu谜题:二部创意曲第二章数学中的意义与形式:无伴奏阿基里斯奏鸣曲第三章图形与衬底:
《哥德尔埃舍尔巴赫——集异璧之大成》是1997年由商务印书馆出版的图书,作者是DouglasHofstadter,该书通过对哥德尔的数理逻辑,艾舍尔的版画和巴赫的音乐三者的综合阐述,引人入胜地介绍了数
在本文中,我们提供了Dedekind定理的完整证明。
对于正整数,对于p的正整数,如果p不除a,我们将提供一个直观令人满意的费马结果的几何证明。 这就是费马小定理。 该证明是新颖的,它使用了将着色应用于规则多边形的想法来建立数论结果。 传统上(如果模棱两
在本文中,我们将重新讨论椭圆曲线的添加,并通过使用MATHEMATICA为关联法则提供代数证明。 联想法的现有证明相当复杂,初学者很难理解。 据我们所知,还没有给出基于代数的“基本”证明。 本科生或非
基于向量的几何可读自动证明,葛强,陈矛,几何定理机器证明已经成功发展了多种新方法,但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征.本文以向量的回路
暂无评论