图灵给“可计算性”下了一个严格的数学定义,并提出著名的“图灵机”的设想。( )
对
举一反三
内容
- 0
由图灵的观点可得到这样的结论:一个函数是可计算的当且仅当它是图灵机可计算的。()
- 1
图灵机不仅是图灵于1936年提出的一个抽象计算模型,还是一台具体的机器。
- 2
著名的英国科学家图灵直接证明了计算机可能以某种被理解为智能的方法工作,并提出了著名的_____。 A: 图灵机器 B: 图灵机器人 C: 图灵图 D: 图灵测试
- 3
图灵机是由图灵提出的一种计算模型,它是一个理论模型,并不可实际实现。
- 4
图灵解决什么是计算、什么是可计算性等重要问题,提出了图灵机模型,提出了图灵测试,因此被称为: A: 计算机之父 B: 计算机科学之父 C: 博弈论之父 D: 人工智能之父