南京大学的 数理逻辑 课程讲义地址：yiqinnju.github.io/course/MathLogic/MathLogic.html秦逸的课程。会培养学生针对计算机科学相关信息，具备独立自主的逻辑判断与推理能力。数理逻辑是数学的一个分支，是数学基础中不可或缺的组成部分。数理逻辑的研究范围是逻辑中能够被数学形式化描述和推演的部分。其研究对象是对证明和计算这两个直观概念进行符号化之后的形式系统。How I AIAI创造营
南京大学的 数理逻辑 课程讲义地址：yiqinnju.github.io/course/MathLogic/MathLogic.html秦逸的课程。会培养学生针对计算机科学相关信息，具备独立自主的逻辑判断与推理能力。数理逻辑是数学的一个分支，是数学基础中不可或缺的组成部分。数理逻辑的研究范围是逻辑中能够被数学形式化描述和推演的部分。其研究对象是对证明和计算这两个直观概念进行符号化之后的形式系统。How I AIAI创造营
