【光熙辅导】第4期:数理逻辑PC证明提高篇

10月28晚,计算机学院2017级第4“光熙辅导”在综合楼213成功举办。“光熙辅导”邀请计算机学院17级王扬帆同学为学习成绩较落后的同学进行辅导。

“光熙辅导”活动是由辅导员夏玮老师发起的,旨在帮助学习成绩较落后的同学尽快调整状态、掌握学习方法、提高学习成绩和督促2017级计算机学院本科生学习进步的系列活动。本次辅导王扬帆同学与大家分享了PC定理证明更灵活和简洁的方法,对同学们PC证明题目进行了更深刻和提高的辅导,最后总结了PC证明的思路与方法。经过两个小时的辅导,同学们学习了PC证明的提高方法,对定理掌握更熟应用更加灵活,收获颇多。同学们这次反响很好,很期待下次的辅导,很感谢“光熙辅导”活动和王扬帆同学的分享。

计算机学院将通过“光熙辅导”的活动形式,实现“学生对学生”的交流讨论,让优秀的学生锤炼品格、培养奉献和思辨精神,帮助挂科学生复习知识、梳理内容、讲解习题、分享心得和经验,营造“交流互助”的学习氛围。