吉林大学博士研究生导师介绍：刘叙华

发布时间: 2024-11-15 02:13

姓名：

刘叙华

性别：

出生年月：

1937-0-0

工作单位：

所在院系：

计算机科学与技术学院

职称：

行政职务：

招生专业：

研究领域：

定理机器证明和自动推理研究工作

是否兼职：

指导博士生总数：

指导硕士生总数：

目前博士生数：

目前硕士生数：

个人简介

获得奖项

获国家教委优秀科技成果奖1次；获国家教委科技进步二等奖2次；获吉林省优秀图书二等奖1次，获吉林省优秀教学成果二等奖1次、三等奖1次。

著作及论文

发表论文50余篇。著有《离散数学》、《定理机器证明》、《模糊逻辑与推理》、《数理逻辑基础》和《基于归结方法的自动推理》等著作。

研究生报考咨询1V1指导（点击咨询）

免责声明

本文章来源为院校研究生官网，如对稿件内容有疑问，请与院校招生办联系。培训啦转载出于非商业性的教育和科研之目的，不代表赞同其观点或证实其内容的真实性。如转载稿涉及版权等问题，请来函136311265@qq.com联系修改或删除。

温馨提示：

本文【吉林大学博士研究生导师介绍：刘叙华】由作者教培参考提供。该文观点仅代表作者本人，培训啦系信息发布平台，仅提供信息存储空间服务，若存在侵权问题，请及时联系管理员或作者进行删除。

上一篇: 2024年西安工业大学考研复试参考书目

下一篇: 辽宁大学商学院导师介绍：李荣梅