2021年5月30日上午，北航hjc888老品牌黄金城计算科学系师生联合党支部在沙河主楼E405开展本学期第三次导学共建活动，参加此次活动的主要有部分教师党员、学生党员以及致真书院2020级本科生等。本次活动邀请到北大王潇杨博士介绍毕业求学经历，主题为“数学、哲学、计算机中的逻辑学”。
报告主要由三部分组成。首先介绍了“逻辑学是干什么的”，王潇杨博士指出逻辑学并不是研究通俗的规律、机制、思维方式等，而是研究“靠谱”的推理形式，然后从起源、成熟、繁荣以及应用等方面简要介绍了逻辑学的发展历程，同时讲述了逻辑学在数学语言的体现。随后，围绕“哲学数学计算机与模态逻辑”介绍了逻辑学在计算机科学中的应用。最后介绍了现代逻辑学的主要分支，主要包括数理逻辑、计算机逻辑、哲学逻辑以及其他交叉领域。报告内容深入浅出，精彩丰富，在场师生积极提问，参与讨论交流。
通过本次活动，同学们对于逻辑学与数学、哲学的关系有了更充分的认识，同时对数学基础的重要性有了更深刻的体会。
首页
>>
新黄金城xhjc官方网站
>>
正文
