计算机科学数理逻辑考试,计算机科学中使用的数理逻辑_期末考试题2006到2014

刘西洋教授的课

2006 年 秋 季

研究生课程《计算机科学中使用的数理逻辑》试卷

任课教师 刘西洋

考试时间： 1月24日上午8：30－10：30

地点：西406、407、408、409、410、411

(自然语言到谓词逻辑的翻译 10分)

1、(逻辑公式的结构 20分)

(1)给出命题逻辑公式 ( ( ( p ) (q r)) → (r p) )的语法树(10分) (2)给出一阶谓词逻辑公式 x ( F(b) → y( z G(y, z) H(u, x, y) ) )的语法树(10分)

2 (量词 20分)

基于全称量词 、存在量词 以及 等词=或 ，定义以下扩展的量词： (1)存在至少2个 (8分) (2)存在至多2个 (7分) (3)存在恰好3个 (5分)

3 (有限论域上一阶谓词逻辑到命题逻辑的翻译 20分) 4 5 (《面向计算机科学的数理逻辑》引理 4.4.1 结论 (i) 20分)

6 (OBDD OBDD论文 10分)

→