这是中国科学院大学(简称:国科大)数理逻辑与程序理论课程的平时作业与答案