数理逻辑 2025春季学期

课件

• 预备知识-集合论基础 (ppt, pdf)
• 第一讲 (ppt, pdf)
• 第二讲 (ppt, pdf)
• 第三讲 (ppt, pdf)
• 第四讲 (ppt, pdf)
• 第五讲 (ppt, pdf)

其它资料

• Logic in Computer Science