单词 | computability theory |
释义 | computability theoryDefinition Investigation into whether a mathematical problem is solvable or not, and what amount of number crunching is required to solve it. Based on the works of UK mathematician Alan Turing (1912-1954) and US logician Alonzo Church (1903-1995), it states that so far as a procedure is unambiguous there is an algorithmic way of executing it. |
随便看 |
|
英汉经管词典收录了27404条经济管理类英汉双解词条,基本涵盖了经济学、管理学、金融学、会计学、证券期货、商务活动等领域的常用英语单词及短语词组的翻译及用法,是学习及工作的有利工具。