下列说法正确的是()
A.存在一个计算机程序,能够自动判定任何一个数学命题是否成立
B.存在一个形式推理系统,能够得到所有成立的数学命题
C.存在数学定理,可以应用自动定理证明器进行自动证明
D.(无)
A.存在一个计算机程序,能够自动判定任何一个数学命题是否成立
B.存在一个形式推理系统,能够得到所有成立的数学命题
C.存在数学定理,可以应用自动定理证明器进行自动证明
D.(无)
第1题
A.恶意代码是一个MIS程序
B.恶意代码是对人体有害的传染病
C.恶意代码是一个能够通过自身传染,起破坏作用的计算机程序
D.恶意代码是一段程序,但对计算机无害
第2题
A.计算机病毒是一个MIS程序
B.计算机病毒是对人体有害的传染病
C.计算机病毒是一个能够通过自身复制传染,起破坏作用的计算机程序
D.计算机病毒是一段程序,但对计算机无害
第4题
A.计算机病毒是一个MIS程序
B.计算机病毒是对人体有害的传染病
C.计算机病毒是一个能够通过自身复制传染,起破坏作用的计算机程序
D.计算机病毒是一段程序,但对计算机无害
第6题
A.计算机病毒是一个MIS程序
B.计算机病毒是对人体有害的传染性疾病
C.计算机病毒是一个能够通过自身传染,起破坏作用的计算机程序
D.计算机病毒是一段程序,只会影响计算机系统,但不会影响计算机网络
第7题
A.计算机病毒是一段自编程序
B.计算机病毒是对人体有害的传染病
C.计算机病毒是一个能够通过自身复制传染,起破坏作用的计算机程序
D.计算机病毒是一个程序,但对计算机无害
第8题
A.计算机病毒是一段自编程序
B.计算机病毒是对人体有害的传染病
C.计算机病毒是一个能够通过自身复制传染,起破坏作用的计算机程序
D.计算机病毒是一个程序,但对计算机无害
第9题
A.软件就是程序
B.指令是指挥计算机解决一个问题的系列操作命令
C.程序是指挥计算机解决一个问题的系列有序指令的集合
D.软件都是由指令组成的
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!