江建国-数学学院

江建国

2023-03-11 数学学院点击：[]

教育背景：

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.