1.
数理逻辑的主要研究内容可概括为“两个演算”加“四论”,其中“四论”之一是______。(8.1节)
(A)函数论
(B)证明论
(C)计算机科学理论
(D)控制论
2. ______可以称为最简单、最小的一个形式系统。(8.1节)
(A)Scott域
(B)π-演算
(C)λ-演算
(D)线性逻辑
3. 仅含 三个逻辑联结词的推理系统称为______。(8.3节)
(A)线性逻辑
(B)Scott域
(C)Gentzen串行演算
(D)自然推理系统
4. 线性逻辑与Gentzen串行演算的主要区别在于______。(8.4节)
(A)字母表
(B)公式
(C)规则
(D)语义
5. 与直觉主义逻辑密切相关的形式系统是______。(8.3节)
(A)λ-演算
(B)Scott域
(C)线性逻辑
(D)Gentzen串行演算
|