副教授
江建国
  • 所属院校:
    辽宁师范大学
  • 所属院系:
    数学学院
  • 研究领域:
    1.自动推理(AutomatedReasoning):主要研究几何定理机器证明的人工智能法(AI)和自动演绎中的Tableau法. 2.智能教育(IntelligentEducation):目前主要感兴趣的是Web上得动态几何、智能几何与智能在线题库. 3.计算复杂性(ComputationalComplexity):目前还处于探索阶段.
  • 职称:
    副教授
  • 导师类型:
    --
  • 招生专业:
    --
个人简介

个人简介

江建国,学习经历教育背景: 1.2007.9—2008.3,加州大学圣地亚戈分校(UCSD),访问留学. 2.2003.9—2006.7,中国科学院研究生院成都计算机应用研究所,计算机软件与理论专业,工学博士。导师:张景中院士. 3.1993.9—1996.7,辽宁师范大学数学系,学科教学论(数学)专业,教育学硕士.导师:贺贤孝教授. 4.1989.9—1993.7,牡丹江师范学院数学系,数学(师范)专业,理学学士. 工作经历1.2000.8—今,辽宁师范大学数学学院,信息与计算科学系,教师. 2.1996.8—2000.7,四通集团大连分公司,计算机事业部,网络工程师. 教学工作: 本科生课程:计算机基础、C语言、数据库原理、面向对象分析与设计 研究生课程:计算机理论与实践、自动推理、人工智能、计算复杂性理论

以上内容源自网络公开信息,仅作学术交流之目的,非为商业用途。
如若涉及侵权事宜,请及时与我们联络,我们将即刻修正或删除相关内容。
去登录