• 第一考试网微信公众号第一考试网微信公众号
吉林大学校徽

吉林大学 刘叙华

985211 双一流

  • 前卫南区：长春市前进大街2699号;前卫北区：长春市解放大路123号
  • https://www.jlu.edu.cn/ http://zsb.jlu.edu.cn
  • 0431-85166420,0431-85166226
  • gkzx@jlu.edu.cn

  1. 院校大全
  2. 吉林大学
  3. 计算机科学与技术学院
  4. 刘叙华

刘叙华

姓名： 刘叙华
学校： 吉林大学
学院： 计算机科学与技术学院
职称：  

刘叙华老师的简介

<div class> <table align= bgcolor= border= cellpadding= cellspacing= width=> <tbody> <tr bgcolor=> <td bgcolor= width=> <div align=> 姓　　名：</div> </td> <td bgcolor= width=> 刘叙华</td> <td bgcolor= width=> <div align=> 性别：</div> </td> <td width=> 男</td> </tr> <tr bgcolor=> <td bgcolor= width=> <div align=> 出生年月：</div> </td> <td bgcolor= width=> 1937-0-0</td> <td bgcolor= width=> <div align=> 工作单位：</div> </td> <td width=> 吉林大学</td> </tr> <tr bgcolor=> <td bgcolor= width=> <div align=> 所在院系：</div> </td> <td bgcolor= width=> 计算机科学与技术学院</td> <td bgcolor= width=> <div align=> 职称：</div> </td> <td width=> 教授</td> </tr> <tr bgcolor=> <td bgcolor= width=> <div align=> 行政职务：</div> </td> <td bgcolor= width=>  </td> <td bgcolor= width=> <div align=> 招生专业：</div> </td> <td width=> 081202计算机软件与理论</td> </tr> <tr bgcolor=> <td bgcolor= width=> <div align=> 研究领域：</div> </td> <td bgcolor= width=> 定理机器证明和自动推理研究工作</td> <td bgcolor= width=> <div align=> 是否兼职：</div> </td> <td width=> 否</td> </tr> <tr bgcolor=> <td bgcolor= width=> <div align=> 指导博士生总数：</div> </td> <td bgcolor= width=>  </td> <td bgcolor= width=> <div align=> 指导硕士生总数：</div> </td> <td width=>  </td> </tr> <tr bgcolor=> <td bgcolor= width=> <div align=> 目前博士生数：</div> </td> <td bgcolor= width=>  </td> <td bgcolor= width=> <div align=> 目前硕士生数：</div> </td> <td width=>  </td> </tr> </tbody> </table> <table border= cellpadding= cellspacing= height= width=> <tbody> <tr> <td>  </td> </tr> </tbody> </table> <table align= border= cellpadding= cellspacing= width=> <tbody> <tr> <td background= height= valign=> <b>　　个人简介</b></td> </tr> <tr> <td> <table align= bgcolor= border= cellpadding= cellspacing= width=> <tbody> <tr bgcolor=> <td height=> <p> 　　刘叙华，教授，博士生导师。1937年生，黑龙江哈尔滨人。1961年吉林大学数学系毕业，留校任教。1985～1986年在美国依利诺大学计算机系作访问学者。曾任吉林大学计算机科学研究所所长、教育部符号计算与知识工程开放实验室（吉林大学）主任、中国计算机学会理事、人工智能专业委员会副主任、全国高校人工智能研究会会长、中国系统工程学会模糊数学学会常务理事、国家自然科学基金委员会计算机学科组成员、国家教委科技委员会计算机学科组成员、国家高技术智能计算机研究与开发中心学术委员会委员、吉林省计算机学会理事长。主要从事定理机器证明和自动推理研究工作。</p> </td> </tr> </tbody> </table> </td> </tr> </tbody> </table> <table border= cellpadding= cellspacing= height= width=> <tbody> <tr> <td>  </td> </tr> </tbody> </table> <table align= border= cellpadding= cellspacing= width=> <tbody> <tr> <td background= height= valign=> <b>　　获得奖项</b></td> </tr> <tr> <td> <table align= bgcolor= border= cellpadding= cellspacing= width=> <tbody> <tr bgcolor=> <td height=> <table border= cellpadding= cellspacing= width=> <tbody> <tr> <td> 　　获国家教委优秀科技成果奖1次；获国家教委科技进步二等奖2次；获吉林省优秀图书二等奖1次，获吉林省优秀教学成果二等奖1次、三等奖1次。</td> </tr> </tbody> </table> </td> </tr> </tbody> </table> </td> </tr> </tbody> </table> <table border= cellpadding= cellspacing= height= width=> <tbody> <tr> <td>  </td> </tr> </tbody> </table> <table align= border= cellpadding= cellspacing= width=> <tbody> <tr> <td background= height= valign=> <b>　　著作及论文</b></td> </tr> <tr> <td> <table align= bgcolor= border= cellpadding= cellspacing= width=> <tbody> <tr bgcolor=> <td height=> <table border= cellpadding= cellspacing= width=> <tbody> <tr> <td> 　　发表论文50余篇。著有《离散数学》、《定理机器证明》、《模糊逻辑与推理》、《数理逻辑基础》和《基于归结方法的自动推理》等著作。</td> </tr> </tbody> </table> </td> </tr> </tbody> </table> </td> </tr> </tbody> </table> </div>

刘叙华老师的课程

  • 暂时还没有收录刘叙华老师的课程列表，我们将尽快添加。

    • 刘叙华老师的论文

    • 暂时还没有收录刘叙华老师的论文，我们将尽快添加。

    刘叙华老师参与的论文

    • 暂时还没有收录刘叙华老师参与的论文，我们将尽快添加。

    计算机科学与技术学院 其他教师

    关于刘叙华老师的相关提示：以上内容并非是刘叙华老师的最新情况，请以刘叙华老师的官方公布信息为准。

    猜你想看

    学校首页

    学校简介

    院系设置

    专业介绍

    就业情况

    院校动态

    招生简章

    录取规则

    基础设施

    收费项目

    食宿条件

    奖学金设置

    体检要求

    校园影集

    友情链接

    第一考试网 灯塔阅读
    Copyright ©2024-2025 第一考试网 京ICP备11047680号-2
    反馈/投稿/合作/咨询：13562564（QQ）    邮箱：13562564@qq.com