研究生导师刘叙华：吉林大学
| 姓 名 | 刘叙华 | 性 别 | 男 | 出生年月 | 1937-01 |
| 所在院校 | 吉林大学 | 所在院系 | 计算机科学与技术学院 |
| 职称 | 教授 | 招生专业 | 计算机软件与理论 |
| 研究领域 | 定理机器证明和自动推理研究工作 |
| 联系方式 | E-mail | 电 话 | 邮 编 | 0 |
| 地 址 |
刘叙华，教授，博士生导师。1937年生，黑龙江哈尔滨人。1961年吉林大学数学系毕业，留校任教。1985～1986年在美国依利诺大学计算机系作访问学者。曾任吉林大学计算机科学研究所所长、教育部符号计算与知识工程开放实验室（吉林大学）主任、中国计算机学会理事、人工智能专业委员会副主任、全国高校人工智能研究会会长、中国系统工程学会模糊数学学会常务理事、国家自然科学基金委员会计算机学科组成员、国家教委科技委员会计算机学科组成员、国家高技术智能计算机研究与开发中心学术委员会委员、吉林省计算机学会理事长。主要从事定理机器证明和自动推理研究工作。 刘叙华，教授，博士生导师。1937年生，黑龙江哈尔滨人。1961年吉林大学数学系毕业，留校任教。1985～1986年在美国依利诺大学计算机系作访问学者。曾任吉林大学计算机科学研究所所长、教育部符号计算与知识工程开放实验室（吉林大学）主任、中国计算机学会理事、人工智能专业委员会副主任、全国高校人工智能研究会会长、中国系统工程学会模糊数学学会常务理事、国家自然科学基金委员会计算机学科组成员、国家教委科技委员会计算机学科组成员、国家高技术智能计算机研究与开发中心学术委员会委员、吉林省计算机学会理事长。主要从事定理机器证明和自动推理研究工作。 |
| 获国家教委优秀科技成果奖1次；获国家教委科技进步二等奖2次；获吉林省优秀图书二等奖1次，获吉林省优秀教学成果二等奖1次、三等奖1次。 获国家教委优秀科技成果奖1次；获国家教委科技进步二等奖2次；获吉林省优秀图书二等奖1次，获吉林省优秀教学成果二等奖1次、三等奖1次。 |
| 发表论文50余篇。著有《离散数学》、《定理机器证明》、《模糊逻辑与推理》、《数理逻辑基础》和《基于归结方法的自动推理》等著作。 发表论文50余篇。著有《离散数学》、《定理机器证明》、《模糊逻辑与推理》、《数理逻辑基础》和《基于归结方法的自动推理》等著作。 |
版权及免责声明
1.凡本网注明"稿件来源：新东方在线"的所有文字、图片和音视频稿件，版权均属北京新东方迅程网络科技有限公司所有，任何媒体、网站或个人未经本网协议授权不得转载、链接、转贴或以其他方式复制发表。已经本网协议授权的媒体、网站，在下载使用时必须注明"稿件来源：新东方在线"，违者本网将依法追究责任。
2.本网末注明"稿件来源：新东方在线"的文/图等稿件均为转载稿，本网转载出于传递更多信息之目的，并不意味着赞同其观点或证实其内容的真实性。如其他媒体、网站或个人从本网下载使用，必须保留本网注明的"稿件来源"，并自负版权等法律责任。如擅自篡改为"稿件来源：新东方在线”，本网将依法追究责任。
3.如本网转载稿涉及版权等问题，请作者致信weisen@xdfzx.com，我们将及时外理
Copyright © 2011-202
All Rights Reserved