数理逻辑 2025春季学期

课件

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

其它资料

• Logic in Computer Science