当前位置:首页  >  员工资料  >  江建国

江建国

姓名 江建国
性别
政治面貌 不详
民族 -
学历 不详
学位 不详
职称/职务 副教授/-
办公地点 - 办公电话 - 手机 -
传真 - 电子邮箱 jjgbox@sina.com 邮编 -
毕业院校 - 通讯地址 -

学习经历

教育背景:
  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,四通集团大连分公司,计算机事业部,网络工程师.

详细介绍

研究方向

       1.自动推理(Automated Reasoning):主要研究几何定理机器证明的人工智能法(AI)和自动演绎中的Tableau法.
       2.智能教育(Intelligent Education):目前主要感兴趣的是Web上得动态几何、智能几何与智能在线题库.
       3.计算复杂性(Computational Complexity):目前还处于探索阶段.

教学工作

      本科生课程:计算机基础、C语言、数据库原理、面向对象分析与设计

      研究生课程:计算机理论与实践、自动推理、人工智能、计算复杂性理论


科研工作

        发表过的论文:

        1. Jiang Jian-Guo, Zhang Jing-Zhong. A review and prospect of readable machine proofs in geometry(JSC, to appear).

        2. 江建国, 张景中, 王晓京. 多项式等式型几何定理的可读证明. 计算机学报, 2008, 31(2): 207-213.

        3. 江建国, 张景中. 基于等价类推理的几何自动推理网. 模式识别与人工智能, 2006, 19 (5) : 617-622.

        4. 江建国, 张景中. 基于Rete算法的几何自动推理系统. 四川大学学报(工程科学版), 2006, 38 (3): 135-139.