Language for PL pdfBoolean Functions and Formulas pdfNatural Deduction I pdfFirstOrderLanguage pdfSemantics for FOL I pd 查看详情

本课程是逻辑学方向的选修课程，主要目的是讲授集合理论的基本知识，使学生掌握集合理论的基本概念、思想和方法，要求学生熟悉无穷集合的层 查看详情

课件下载：课程说明 pdf提要-Lec 01 pdf提要-Lec 02 pdf提要-Lec 03 pdf提要-Lec 04 pdf提要-Lec 05 pdf提要-Lec 06 pdf提要-Lec 07 查看详情