培训啦 考试问答 > 导师介绍

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

教培参考

教育培训行业知识型媒体

发布时间: 2024年11月22日 22:15

姓名:刘叙华性别:出生年月:1937-0-0工作单位:所在院系:计算机科学与技术学院职称:行政职务:招生专业:研究领域:定理机器证明和自动推理研究工作是否兼职:指导博士生总数:指导硕士生总数:目前博士生数:目前硕士生数:
个人简介
获得奖项
获国家教委优秀科技成果奖1次;获国家教委科技进步二等奖2次;获吉林省优秀图书二等奖1次,获吉林省优秀教学成果二等奖1次、三等奖1次。
著作及论文
发表论文50余篇。著有《离散数学》、《定理机器证明》、《模糊逻辑与推理》、《数理逻辑基础》和《基于归结方法的自动推理》等著作。

研究生报考咨询1V1指导(点击咨询)

免责声明

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

985大学 211大学 全国院校对比 专升本 美国留学 留求艺网

温馨提示:
本文【吉林大学博士研究生导师介绍:刘叙华】由作者教培参考提供。该文观点仅代表作者本人,培训啦系信息发布平台,仅提供信息存储空间服务,若存在侵权问题,请及时联系管理员或作者进行删除。
我们采用的作品包括内容和图片部分来源于网络用户投稿,我们不确定投稿用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的权利,请联系我站将及时删除。
内容侵权、违法和不良信息举报
Copyright @ 2024 培训啦 All Rights Reserved 版权所有. 湘ICP备2022011548号 美国留学 留求艺