为更好开展学院学风建设工作、拓宽学生学习视野，发挥优秀学子朋辈引领作用，助力高素质人才培养，2026年4月1日下午，数学科学学院“数朋启智”朋辈讲堂第一讲在理学楼222教室成功举办。本次活动邀请学院优秀学生代表邢世纪担任主讲人，面向全院学生带来主题为“数理逻辑与计算机科学史话 （上）—— 证明与真假”的趣味课程，以朋辈之力传知识、启思维。

邢世纪同学专业成绩名列前茅，多次荣获校级优秀学生称号，现已成功保研至首都师范大学数学科学学院，在基础数学领域有着扎实的知识储备和深入思考，深受师生认可。他以“证明与真假”为核心，用通俗生动的语言拆解数理逻辑的基础原理，结合布尔代数的诞生、弗雷格的符号逻辑等经典知识点，梳理了数学逻辑与计算机科学发展的关联脉络。

邢世纪同学结合逻辑案例和科学史故事，将抽象证明逻辑具象化，引导同学们思考逻辑推理与专业学习、日常生活的联系，在场同学认真聆听、详细记录，不时就逻辑推理、历史节点等问题与邢世纪同学交流探讨，现场氛围热烈融洽。

“数朋启智”朋辈讲堂不仅搭建了优秀学子与全院同学交流共进的桥梁，拓宽了学子专业视野、破解了数理学习中的认知难点，更以朋辈榜样为标杆，传递了勤学善思、求真务实的学习理念，进一步厚植了学院优良学风。学院将持续深化朋辈育人模式，聚焦学子学习需求，邀请更多优秀学子分享专业经验、传递学科魅力，助力全院学生夯实专业基础、提升综合素养，为学院学科建设和人才培养注入青春动力。

数学科学学院

2026年4月1日