讲座时间：5月16日（周四）19:00
讲座地点：中和楼342报告厅
主讲人：张春元
主讲人简介：
张春元，国防科技大学教授、博士生导师。中国工程教育专业认证计算机专委会副秘书长，中国学位与研究生教育学会信息管理委员会副主任委员，国家本科院校合格评估专家，军队院校计算机教学联席会主任。主要从事计算机体系结构方面的教学和研究工作。主持国家级一流本科课程“计算机体系结构”；主持或参与教学改革和研究项目数十项，发表学术论文100余篇，出版教材5部、专著3部，已授权专利10余项；获得国家科技进步二等奖1项，首届全国优秀教材奖（高等教育类）一等奖1项，国家教学成果二等奖2项，全军优秀教师等多项荣誉。
讲座内容简介：
数学是人工智能的支柱，数理逻辑是研究推理和证明的数学分支。在人工智能中，数理逻辑被广泛应用于知识表示、推理引擎和智能搜索等方面，为智能系统的推理和决策提供基础。通过讲座，期望帮助同学们更好地理解数理知识在人工智能中的重要性，并激发对数学和人工智能的进一步探索。
