题目内容
(请给出正确答案)
[单选题]
德国著名数学家希尔伯特在1900年举办的国际数学家大会中所提出的“算术公理的相容性(the compa
A.可判定性,即算法在有限步内判定命题的真伪
B.完备性,即所有能够从该形式化系统推导出来的命题,都可以从这个形式化系统推导出来
C.一致性,即一个命题不可能同时为真或为假
D.复杂性,即算法性能与输入数据大小相关
提问人:网友吴欢
发布时间:2022-01-07
A.可判定性,即算法在有限步内判定命题的真伪
B.完备性,即所有能够从该形式化系统推导出来的命题,都可以从这个形式化系统推导出来
C.一致性,即一个命题不可能同时为真或为假
D.复杂性,即算法性能与输入数据大小相关
为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!