1.一阶语言主要由( )组成。(7.1节)
(A) 字符表
(B) 形成规则
(C) 公式
(D) 以上都包括
2.基于一阶语言的理论T称为( )。(7.2节)
(A) 一阶理论
(B) 二阶语言
(C) 二阶理论
(D) 高阶语言
3.Godel( )阐述了一阶理论与模型的基本关系。(7.3节)
(A) 不完全性定理
(B)完全性定理
(C)第二不完全性定理
(D)广义不完全性定理
4.Godel不完全性定理的证明中,直接用到了( )。(7.5节)
(A) Godel配数法
(B)对角线定理
(C)第二不完全性定理
(D)以上都用到
(E)A+B
5.Herbrand定理所给出的判定方法又被称为( )。(7.4节)
(A)确定性算法
(B)可判定算法
(C)半可判定算法
(D)以上都不对