江建国

姓名江建国

性别男
政治面貌不详
民族-
学历不详
学位不详
职称/职务副教授/-
办公地点- 办公电话- 手机-
传真- 电子邮箱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.