填空题

【参考答案】

集合论(或集合代数);谓词演算;以if-then为基础的逻辑操作