2021年5月30日上午🌋，凯发娱乐凯发娱乐计算科学系师生联合党支部在沙河主楼E405开展本学期第三次导学共建活动，参加此次活动的主要有部分教师党员⏮、学生党员以及致真书院2020级本科生等👩🏼🦳。本次活动邀请到北大王潇杨博士介绍毕业求学经历，主题为“数学、哲学🔃、计算机中的逻辑学”。
报告主要由三部分组成👾💹。首先介绍了“逻辑学是干什么的”🪆，王潇杨博士指出逻辑学并不是研究通俗的规律🧜🏻、机制🧖🏿💇、思维方式等🕺🏻🛻，而是研究“靠谱”的推理形式👩🍼，然后从起源、成熟🖨💓、繁荣以及应用等方面简要介绍了逻辑学的发展历程🌩，同时讲述了逻辑学在数学语言的体现。随后⚪️，围绕“哲学数学计算机与模态逻辑”介绍了逻辑学在计算机科学中的应用🧔🏻♂️。最后介绍了现代逻辑学的主要分支🧑🦱，主要包括数理逻辑、计算机逻辑🙇🏼♀️、哲学逻辑以及其他交叉领域。报告内容深入浅出，精彩丰富，在场师生积极提问，参与讨论交流🤾🏼♂️。
通过本次活动，同学们对于逻辑学与数学、哲学的关系有了更充分的认识🧑🚀📎，同时对数学基础的重要性有了更深刻的体会。
