1) Turing's thesis
图灵论题
2) the Church-Turing thesis
丘奇-图灵论题
1.
This paper,based on the analyses of generalization and different construals of computation,suggests and argues computation as being information-processing,and also discusses the Church-Turing thesis and pan-computationalism from a information-processing point of view.
本文基于对计算概念的拓展过程和不同诠释的考察,提出并论证了一种关于计算的广义规定,即计算就是信息加工的过程;在此基础上,进一步探讨了与计算概念密切相关的丘奇-图灵论题和正在兴起的泛计算主义思潮。
3) Turing theory
图灵理论
4) famous problems in graph theory
图论问题
1.
The historical backgrounds of some famous problems in graph theory were investigated.
考察了哥尼斯堡七桥问题,最小生成树问题,旅行推销员问题,分派问题,最大流问题,中国邮递员问题和四色问题等著名图论问题的历史背景。
6) halting problem of Turing machine
图灵机停机问题
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
minor of a graph
图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G，，GZ，…，则存在指标i
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条