北京大学集合论与图论、代数结构与组合数学、数理逻辑三门课的课件，爱课程网的较新的版本。