2021年11月8日，由教学评估与教师教学发展中心主办，信息技术学院承办的本年度第84期教学沙龙如期线上举办。李健老师应邀做“计算思维与现代逻辑”的交流分享，20余名老师参加。

李健老师结合现代逻辑的相关知识，分享了对大学计算机基础课中有关计算思维的理解和认识；结合常见的计算模型和模型检测的实例，从算法的定义，算法的边界，算法的验证等三方面详细介绍了底层算法。

此次教学沙龙活动，提升了教师们对“计算机在底层上如何实现算法”的认知，对提高培养学生信息素养能力有积极的促进作用。