WaterCoFire 本文分享 DI21013 数理逻辑课程在 2023 学年中的五次个人 Assignment。作业形式是个人解答所有作业中的题目（Tutorial Exercise 部分均是在课上讲）并以 PDF 形式提交。 听说这一届不再做这些作业了，而感觉这又是不错的资料，所以把它发出来。有需要的同学可以拿来练手。 不主动提供答案。需要答案/解题思路的可以 dd。 注意： 根据 UoD 相关规定，对外传播这些课件可能构成学术不端行为，请规范食用 这一届/以后所有届不再做这些作业是我得到的信息，可能并不是事实 本人不对任何浏览本贴者对本文所分享内容的不当使用承担任何形式的责任 Assignment 1: Assignment 2: Assignment 3: Assignment 4: Assignment 5:
