题目内容
（请给出正确答案）
A.完备性，即所有能够从该形式化系统推导出来的命题，都可以从这个形式化系统推导出来。
B.一致性，即一个命题不可能同时为真或为假
C.可判定性，即算法在有限步内判定命题的真伪
D.复杂性，即算法性能与输入数据大小相关
安装简答题APP，拍照搜题省时又省心！
更多“德国著名数学家希尔伯特在1900年举办的国际数学家大会中所提…”相关的问题
1900年，德国数学家（）在巴黎国际数学家大会上提出了（）个尚未解决的数学问题，在整个二十世纪，这些问题一直激发着数学家们浓厚的研究兴趣。
德国著名数学家希尔伯特发表《数学问题》的著名演讲，提出的数学界面临的难以解决的问题有（），后来他又补充了两个问题。
A. 10个
B. 9个
C. 23个
D. 85个
有两位华裔数学家分别在1982年和2006年的国际数学家大会上获得（ ）奖。
A、阿贝尔奖
B、沃尔夫奖
C、菲尔兹奖
D、诺贝尔奖
20世纪30年代，围绕可计算这一重要思想，一些模型被提出。下述哪个模型不是于这个时期在可计算思想推动下产生的（ ）
A、原始递归函数
B、lambda 演算
C、图灵机
D、冯诺依曼模型
下面哪个描述不属于邱奇－图灵论题所包含的意思（ ）
A、凡是可计算的函数都可以用图灵机计算
B、任何计算，如果存在一个有效过程，它就能被图灵机实现
C、有些数学问题是不可求解的(图灵不可停机的)
D、任何表达力足够强的(递归可枚举)形式系统同时满足一致性和完备性
在启发式搜索（有信息搜索）中，评价函数的作用是（）
A、判断搜索算法的空间复杂度
B、判断搜索算法的时间复杂度
C、从当前节点出发来选择后续节点
D、计算从当前节点到目标节点之间的最小代价值
为了保护您的账号安全，请在“简答题”公众号进行验证，点击“官网服务”-“账号验证”后输入验证码“”完成验证，验证成功后方可继续查看答案！
微信搜一搜
简答题
微信搜一搜
简答题
如搜索结果不匹配，请 
