相关考题
-
单项选择题
命题公式(PQ)P是()。
A.永真式
B.永假式
C.可满足式
D.合取范式 -
单项选择题
谓词公式xA(x)xA(x)的类型是()。
A.永真式
B.矛盾式
C.非永真式的可满足式
D.不属于(A),(B),(C)任何类型 -
单项选择题
关于传统程序描述正确的是()。
A.传统程序是依据某一确定的算法和数据结构来求解某一确定的问题
B.传统程序一般具有解释功能
C.传统程序主要是面向符号处理
D.传统程序有能力从错误中吸取教训,改进对某一工作的问题求解能力
