北航高等数理逻辑期末考试题2019年秋

高等数理逻辑北航考试试题，高等数理逻辑教材用的是《面向计算机科学的数理逻辑》，这课怎么说，听是不可能听的，作业又不会，只有期末抄抄别人的样子。别的不论，只说考核方式和期末试题和部分题目的答案。考核方式平时作业30%，期末成绩70%，其中平时的加分题可以叠加到总成绩上，上限100分。期末考试题一共10个题，任选五个题，每题20分，共100分。加分题有：

1.单函数编程
2.欧拉五次方程猜想第三组平凡解
3.圆周率计算最短程序及计算公式
4.中国参与计算机领域的国际标准
5.矢图路径中椭圆弧命令分析
6.答案怪论
7.中国的逻辑
8.照片拉直的数学原理及编程实现
9.等价关系三个性质的独立性考察
10.给出一个直觉主义逻辑的模型K=<V，R>，是公式集合，若u,vV uRv,并且(K,u)=1则(K,v)=1

还有一个 按照逻辑的方法说明死循环（哥德尔不完备定理）的题目如果可以做出来可以免考。

期末考试题：

1、