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串行演算
|