5月15日下午，应信息工程学院邀请，浙江工商大学邢建国博士在崇德楼501作题为“计算的本质——Lambda演算及实现”的学术报告。报告会由信息工程学院院长陈红岩主持，我院计算机专业的教师和学生代表以及其它分院有兴趣的教师参加了本次报告会。
邢博士首先诙谐幽默地阐述了计算的简史，着重讲解了λ-演算和布尔逻辑、算术运算以及如何实现λ-演算和P=NP的验证；深入探索作为现代编程语言核心的Lambda演算的起源、原理，并通过Python语言演示了Lambda算法。
邢建国博士是浙江工商大学计算机学院原计算机专业系主任，浙江省 1 51 第三层次人才。主要研究方向是计算机系统结构、嵌入式系统。长期从事计 算机组成原理、计算机系统结构、嵌入式系统、编译原理、计算机网络等课程的 教学和科研工作，主持、参与多项省部级科研项目，发表了多篇学术论文。
会后，邢博士应邀到崇德楼217会议室和我院计算机专业教师就专业建设、科研工作进行了探讨。
通过此次学术交流活动，拓展了学生知识面，激发了学生对计算机专业的热爱。陈红岩院长对邢博士的精彩报告表示诚挚的感谢，并希望今后建立长期的合作关系，促进学院科研、教学和专业建设更上一层楼。
