【迎百年校庆】林惠民院士做客“百︼年南开大讲坛”
南开新闻网讯(通讯员 祁晓飞 记者 乔仁铭 摄影 乔仁铭)5月28日,中国科学院院士、计算机科学国家重点实验室主任林惠民院士做客“百年南开大讲坛”,以“计算与智能”为题,作了精彩的学术报告。我校计算〓机学院、网络空间安全学院师生代表》160余人参加。
讲座中,林惠◆民围绕“什么是计算”“什么是№智能”以及计算与智能之间▃的关系、人工智能伦理等进行了深刻的阐述,并介绍了“计算”“智能”概念的发展历程。
林惠╱民指出,计算、推理都是符号的形式变换,“可以机械地进行”的智能活』动可以归结为已有符号的变换,不产生新符号,本质上不产生新知识。他认为,计算机是“机械智能机”,只会机械的思考,只有机械的智能∏,本质上没有创造性,但是人可以利用计算机这个强大的工具从事无法做到的创造性的〓智能活动。
在互动环节中,现场师生积极向林惠民提问,从计算机的技术属性等本质问题出发,进行了深入交流。
我校计算机学院、网络空间安全学院相关负责人主持报告会,并为林惠民颁发“百年南▲开大讲坛主讲人”证书牌。
林惠民在多年的科学研究中设ぷ计并实现了通用进程代数验证工具PAM/VPAM,并对此类工具的发展产生了重要影响。与英国Hennessy教授合作,提出↑并独立发展了“符号互模拟”理论,解决了传统并发计算模型对大量实际应用不能有效模拟的问题,为在计算机上对通信并发进程进行推理和验证提供了理论依据。提出并发计算模型之一π-演算弱互模拟的完备证明系统和唯一不动点归纳法,解决了π-演算的有穷公理化问题。
未经允许不得转载:二九年华大学门户 » 【迎百年校庆】林惠民院士做客“百年南开大讲坛”
- 上一篇:杨庆山率团访问重庆
- 下一篇:杨庆山检⌒查安全工作
相关推荐
- 【迎百年校庆】我校教职工积极参与 “南√开百年周恩来纪念讲堂”捐赠
- 学校慰问留津国际学生
- 南开毕业生栽下“立公林” 建功在基层
- 国家教材委员会办公室致信南开大学★感谢逄锦聚教授
- 建行大学客人访问南开
- 【纪念严范孙先生诞辰160周年】严修与中国近∞代教育
- 2019年山西省人大代表专业知识学习班南开大学开班
- 【迎百年校庆】支志明☉院士做客“百年南开大讲坛”
- 【不忘初心 牢记使命】校领导深入基层与学生谈心谈话
- 吴晓林:使社区成为疫情防控的坚强堡垒
- “南开大学统Ψ计与数据科学学院人才建设基金”设立
- 【百年校庆】百年南开2019世界名校国际象棋邀请赛开赛
- 南开悉尼校友会成立
- “马工程”重点教材《中国经济史↘》出版
- 南开师生热议▓“全国大学生同上一堂疫情防控思政大课”
- 南开大学新增6个本科专业∩
- 学校党委常委会议传达学习天津市委十一届七次全会精神
- 南开三课题◣获天津市2019年大学生思想政治教育专项课题立项
- 南开大学历史学院教授刘毅:读万卷书 行万里路
- 南开学子荣获第二届全国大学生生命科学竞赛一等奖
新闻公告
- 南开大学召开疫情防控科研攻♀关工作座谈会 04-16
- 南开大学获批6项国家社科基金重大项目 04-14
- 南开大学——庄浪县定点帮扶工作推进视频会举行 04-14
- 学校召开定点扶贫工作专题推进会 04-14
高考招生
- 南开大学2018年招生章程 08-05
- 南开大学2017年本科⊙生招生章程※▼ 08-05
- 南开大学2016年本科】生招生章程 08-05
- 南开大学2013年本科生招生章程 08-05
- 南开大学2014年本科生招生章程 08-05
- 南开大学2015年本科生招生章程 08-05
- 南開大學2013年招收香港地區免試生章程 08-05
- 南开大学2009年本科生招生章程 08-05
- 南开大学2011年本科生招生章程 08-05
- 南开大学2012年本科生招生章程 08-05