ToPiC 系列活动—— “命题演算”讲座

发布者:邵锡惠发布时间:2024-04-01浏览次数:24


2024310日晚,0029cc金沙贵宾会团委青年中心第二届《瀚海之巅》项目组第三次ToPiC活动——“命题演算”讲座在五教5102顺利举行。活动内容围绕“逻辑推理”、“命题证明”和“布尔代数”等背后的命题原理,以讲座和互动的形式进行,受到了同学们的一致好评。

ToPiC第二弹“哇!向量”为上学期做了个良好的总结之后,在新学期的春天,瀚海之巅ToPiC再次启动,举办了第三次活动——“命题演算”讲座。





活动于晚上7点开始,内容围绕我们平时常见的命题逻辑等概念,从语法上讨论演绎原理、排中律、双重否定率等推理原则,从语义上对逻辑连结词进行计算上的分析,双管齐下建立命题演算系统。在主讲人马天宇同学的介绍之后,同学们展开了丰富的讨论,和主讲人进行了热情的互动。



活动在晚上九点左右圆满结束。在本次活动中,不论是项目组成员还是主讲人,大家的热情都一如既往。和本系列的前两次活动相比,项目组在组织、联络、宣传等方面做的也越来越好。感谢学院团委和同学们的支持,也期待同学们的多多参与,瀚海之巅项目组会继续努力,推出的更加精彩的 ToPiC



撰稿人:PB22010398  王子涵