本网讯 6月8日下午，广外2009年科技活动周系列活动之一“计算机科学的基础理论研究探讨”讲座在南校区C208举行，主讲人是北京大学教授、博士生导师苏开乐。出席讲座的嘉宾有科研处副处长阳爱民、信息学院副院长蒋盛益等。信息学院的师生代表也参加了本次活动。
苏开乐在讲座上
首先，苏开乐向观众讲解了有关计算机科学的发展历史。“在古代，计算机是商业活动中用来计划和计算的工具，但启蒙时期以后，它有了较大的发展。”随后，他简单介绍了计算机理论的奠基人图灵的贡献以及“图灵奖”的诞生。这个设立于1966年的奖项，专门为了奖励对计算机科学研究与推动计算机技术发展有卓越贡献的杰出科学家，被公认为计算机界的“诺贝尔”奖。同时，他还讲解了有关计算的实质和一般递归函数、波斯特系统等四种计算的定义模型。
苏开乐现场展示了图灵机的图示，详细地讲述其中的设置以及相关用途。据他介绍，这是一种假想的可实现通用计算的机器，可用来表示和完成以布尔代数为基础（即数学符号）的任意命题。他还说，图灵命题对计算机科学的发展贡献很大，成为了二十世纪最伟大的科学成就之一。
“算法存在着时间复杂性、复杂性理论等问题，有些问题很难找到有效的算法来解决。”苏开乐说，现实中存在着非确定性的算法，所以目前看来“多项式时间算法”应该是较好的。他还提到比较计算难度的标准，认为“难易是比较而言的，现在解决问题行之有效的方法是进行算法研究。”
讲座现场
讲座结束后，苏开乐接受了记者的简短采访。他说，之所以选择 “计算机科学的基础理论”作为讲座的主题，是因为这些是受众面广、知识面广的理论知识，容易引起同学们的兴趣。提到对本科学生的学习建议，他希望大家多加强计算机理论知识、逻辑方法等方面的学习。
附：
苏开乐，北京大学信息学院软件所教授, 博士生导师，国家杰出青年基金获得者。主要研究方向为多智能体系统和软件的逻辑基础研究，在基于计算的智能体的模型和模态逻辑以及极大可满足问题求解等方面取得一系列有较大影响的结果。在《Information and Computation》国际权威期刊，AAAI, AAMAS国际一级会议，《中国科学》等发表论文60多篇。获得模态逻辑方面最好的国际会议AiML （Advances in Modal Logic）2002最佳论文奖。主持国家自然科学基金项目、863计划项目6项。
主持开发了世界领先的极大可满足问题求解器：LB-SAT，IncMaxsatz和IncWMaxsatz. LB-SAT在2007年的国际MAXSAT公开评比中，在带权重的MAX-SAT组中表现最好，在不带权重的组中为第四；IncMaxsatz和IncWMaxsatz在2008年的国际MAXSAT的11项公开评比中，获得3项第一和4项第二的佳绩。
