吉林大学计算机学院导师推荐

软件理论和软件设计方法

学术带头人：董韫美 院士 智能信息处理

学术带头人： 孙吉贵教授 学术团队：现有刘叙华教授、欧阳丹彤教授等教师14人 知识科学与知识工程

学术带头人：刘大有教授 学术团队：现有欧阳继红教授等教师17人 计算智能

学术带头人：周春光教授 学术团队：现有于哲周教授等教师14人 智能工程

学术带头人：梁艳春教授 学术团队：现有教师8人 软件形式化

学术带头人：刘磊教授 学术团队：现有张长海教授等教师8人

数据库与web智能

学术带头人：左万利教授 学术团队：现有赫枫龄教授、赵东范教授等教师6人 数据库与智能网络

学术带头人：李雄飞教授 学术团队：现有王德民教授等教师7人

网格计算与网络安全

学术带头人：胡亮教授 学术团队：现有徐高潮教授、魏晓辉教授、赵永哲教授等教师14 软件工程

学术带头人：张家晨教授 学术团队：现有教师11人

计算机软件与理论'

欧阳丹彤，女，博士生导师。符号计算与知识工程教育部重点实验室主任，计算机学院副院长。主要研究方向：自动推理、智能诊断与规划、模型检测、语义Web等。负责或骨干参加国家级与省部级项目20余项。发表论文120余篇。

13843006163

左万利，工学博士，教授，博士生导师，19

软件理论和软件设计方法

学术带头人：董韫美 院士 智能信息处理

学术带头人： 孙吉贵教授 学术团队：现有刘叙华教授、欧阳丹彤教授等教师14人 知识科学与知识工程

学术带头人：刘大有教授 学术团队：现有欧阳继红教授等教师17人 计算智能

学术带头人：周春光教授 学术团队：现有于哲周教授等教师14人 智能工程

学术带头人：梁艳春教授 学术团队：现有教师8人 软件形式化

学术带头人：刘磊教授 学术团队：现有张长海教授等教师8人

数据库与web智能

学术带头人：左万利教授 学术团队：现有赫枫龄教授、赵东范教授等教师6人 数据库与智能网络

学术带头人：李雄飞教授 学术团队：现有王德民教授等教师7人

网格计算与网络安全

学术带头人：胡亮教授 学术团队：现有徐高潮教授、魏晓辉教授、赵永哲教授等教师14 软件工程

学术带头人：张家晨教授 学术团队：现有教师11人

计算机软件与理论'

欧阳丹彤，女，博士生导师。符号计算与知识工程教育部重点实验室主任，计算机学院副院长。主要研究方向：自动推理、智能诊断与规划、模型检测、语义Web等。负责或骨干参加国家级与省部级项目20余项。发表论文120余篇。

13843006163

左万利，工学博士，教授，博士生导师，19

迎春不在啊？

2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注 房至一 博导 计算机系统结构 081201 13180801399 刘淑芬 博导 计算机系统结构 081201 13009108068 徐高潮 博导 计算机系统结构 081201 13009142276 胡成全 教授 计算机系统结构 081201 13610722522 魏晓辉 教授 计算机系统结构 081201 13353144533 于秀峰 副教授 计算机系统结构 081201 13604361843 正元公司 郑万波 副教授 计算机系统结构 081201 13069101816

2009年每位导师招生名额基数为2名。名额上限：博导5名；教授3名；副教授2名；客座教授1名。 2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注

董蕴美 博导 计算机软件与理论 081202 欧阳丹彤13843006163 李占山13089115516 特聘院士

李雄飞 博导 计算机软件与理论 081202 13943095868 刘磊

迎春不在啊？

2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注 房至一 博导 计算机系统结构 081201 13180801399 刘淑芬 博导 计算机系统结构 081201 13009108068 徐高潮 博导 计算机系统结构 081201 13009142276 胡成全 教授 计算机系统结构 081201 13610722522 魏晓辉 教授 计算机系统结构 081201 13353144533 于秀峰 副教授 计算机系统结构 081201 13604361843 正元公司 郑万波 副教授 计算机系统结构 081201 13069101816

2009年每位导师招生名额基数为2名。名额上限：博导5名；教授3名；副教授2名；客座教授1名。 2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注

董蕴美 博导 计算机软件与理论 081202 欧阳丹彤13843006163 李占山13089115516 特聘院士

李雄飞 博导 计算机软件与理论 081202 13943095868 刘磊

迎春不在啊？

2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注 房至一 博导 计算机系统结构 081201 13180801399 刘淑芬 博导 计算机系统结构 081201 13009108068 徐高潮 博导 计算机系统结构 081201 13009142276 胡成全 教授 计算机系统结构 081201 13610722522 魏晓辉 教授 计算机系统结构 081201 13353144533 于秀峰 副教授 计算机系统结构 081201 13604361843 正元公司 郑万波 副教授 计算机系统结构 081201 13069101816

2009年每位导师招生名额基数为2名。名额上限：博导5名；教授3名；副教授2名；客座教授1名。 2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注

董蕴美 博导 计算机软件与理论 081202 欧阳丹彤13843006163 李占山13089115516 特聘院士

李雄飞 博导 计算机软件与理论 081202 13943095868 刘磊

吉林大学博士生指导教师名单

学科、专业 马克思主义哲学 中国哲学 外国哲学 科学技术哲学 社会学 文艺学 指 导 教 师 姓 名 贺来 杨魁森 孙正聿 孙利天 张盾 邱高兴 张连良 李大强 沈亚生 王振林 姚大志 王天成 赵玲 高申春 葛鲁嘉 许志晋 刘少杰 董才生 漆思 林兵 宋宝安 李文祥 田毅鹏 邴正 张金荣 黄也平 张锡坤 李志宏 李无未 李守奎 徐正考 孟兆臣 沈文凡 程丽红 王树海 王洪 *孟繁华 王俊秋 李新宇 王学谦 张福贵 刘中树 王桂妹 冯恩学 王立新 赵宾福 王培新 魏存成 林沄 陈全家 杨建华 滕铭予 朱泓 朱永刚 李伊萍 杨军 程妮娜 赵永春 许兆昌 王剑 武玉环 赵英兰 李书源 张乃和 令狐若明 刘德斌 宿久高 于长敏 尹允镇 *毛健 张维达 郑贵廷 宋冬林 吴宇晖 纪玉山 丁一兵 李晓 李冬 赵放 田中景 项卫星 李俊江 潘石 年志远 谢地 杜莉 孙少岩 麻彦春 徐传谌 *郑成良 *徐显明 姚建宗 黄文艺 张文显 霍存福 邓正来 李韧夫 崔卓兰 *孙谦 张旭 徐岱 闵春雷 李洁 *石少侠 李建华 于莹 彭诚

吉林大学博士生指导教师名单

学科、专业 马克思主义哲学 中国哲学 外国哲学 科学技术哲学 社会学 文艺学 指 导 教 师 姓 名 贺来 杨魁森 孙正聿 孙利天 张盾 邱高兴 张连良 李大强 沈亚生 王振林 姚大志 王天成 赵玲 高申春 葛鲁嘉 许志晋 刘少杰 董才生 漆思 林兵 宋宝安 李文祥 田毅鹏 邴正 张金荣 黄也平 张锡坤 李志宏 李无未 李守奎 徐正考 孟兆臣 沈文凡 程丽红 王树海 王洪 *孟繁华 王俊秋 李新宇 王学谦 张福贵 刘中树 王桂妹 冯恩学 王立新 赵宾福 王培新 魏存成 林沄 陈全家 杨建华 滕铭予 朱泓 朱永刚 李伊萍 杨军 程妮娜 赵永春 许兆昌 王剑 武玉环 赵英兰 李书源 张乃和 令狐若明 刘德斌 宿久高 于长敏 尹允镇 *毛健 张维达 郑贵廷 宋冬林 吴宇晖 纪玉山 丁一兵 李晓 李冬 赵放 田中景 项卫星 李俊江 潘石 年志远 谢地 杜莉 孙少岩 麻彦春 徐传谌 *郑成良 *徐显明 姚建宗 黄文艺 张文显 霍存福 邓正来 李韧夫 崔卓兰 *孙谦 张旭 徐岱 闵春雷 李洁 *石少侠 李建华 于莹 彭诚

一、简答题（共20小题，每小题2分，共40分，不必证明，直接给出答案即可）

1. 设S={a,b,c,d}，定义ρ(S)上的二元运算“－”，使对于任意A、B?ρ(S)，A－B={x|x?A且x?B}，问：该运算满足消去律吗？ρ(S)上存在幂等元吗？ 2. 所有的4元群都同构吗？所有的7元群都同构吗？

3. 整区中是否存在零因子？整区中所有非零元素的乘法周期都相等吗？

4. 设循环群G=(a)，|G|=24，则G中是否存在周期为5的元素？是否存在8元子群？

5. 设a?GF(27)且a≠0，求6a和a26。 6. 在R13求

24-4。

7. 设（G，·）是群，请给出满足方程a·b·x·c =1的解x，其中：1是G的单位元，a、b、c?G。

8. 设G={e,a,b,c,d,f,g},（G，·）是群，e是G的单位元，计算a·b·c·d·f·g等于多少？

9. 设循环群G=(a)，H是G子群，则H是正规子群吗？ 10. 写出模12剩余环的一个极大理想。

11. 域F上的非0多项式f(x)有k（k为非负整数）重根，则f(x)一定可约吗？ 12. 给出多项式x5+5x4+2x3+3x+1的一个有理根。

13. 在R2上给出两个多项式f(x)和g(x)，

一、简答题（共20小题，每小题2分，共40分，不必证明，直接给出答案即可）

1. 设S={a,b,c,d}，定义ρ(S)上的二元运算“－”，使对于任意A、B ρ(S)，A－B={x|x A且x B}，问：该运算满足消去律吗？ρ(S)上存在幂等元吗？

2. 所有的4元群都同构吗？所有的7元群都同构吗？

3. 整区中是否存在零因子？整区中所有非零元素的乘法周期都相等吗？

4. 设循环群G=(a)，|G|=24，则G中是否存在周期为5的元素？是否存在8元子群？

5. 设a GF(27)且a≠0，求6a和a26。

6. 在R13求2

4-4。

7. 设（G，·）是群，请给出满足方程a·b·x·c =1的解x，其中：1是G的单位元，a、b、c G。

8. 设G={e,a,b,c,d,f,g},（G，·）是群，e是G的单位元，计算a·b·c·d·f·g等于多少？

9. 设循环群G=(a)，H是G子群，则H是正规子群吗？

10. 写出模12剩余环的一个极大理想。

11. 域F上的非0多项式f(x)有k（k为非负整数）重根，则f(x)一定可约吗？

12. 给出多项式x5+5x4+2x3

1. 实例数据库 通过应用实例，宏观理解数据 库及其创建过程。

本 2. 数据库系 统概述

章 概 3. 三个世界 与概念模型 要4. 数据模型

数据处理技术发展历程、数据库 系统组成、功能和安全保护。 现实、信息到数据世界 ，概念模 型及表示方法，实体间关系。 4种常用数据模型的基本特征 1/106 及表示法。

5. 关系数据 关系、属性、元组、值域、关键 库基本概念 字、主关键字、外码、关系模式 和关系子模式等。

本 6. 数据模型 数据结构、数据操作、数据完 章 三个要素 整性约束 。 概7. 关系的基 关系选择操作、投影操作和连 本操作 接操作。 要8. 结构化查 询语言 由数据定义、操纵、查询和控 制语言 4部分组成。2/106

9. 常见关系数据库管理系统

第 1 节 银行储蓄 存储开户时间、储蓄类型、帐 实 数据库 号、密码、目前余额，存入明 细，提款明细等。 例 数 还有网上购物数据库、无纸化考试数据库、 据 学生选课数据库、学生信息管理数据库等。 库

铁路售票 数据库

存储日期、车辆信息(车次、 厢号、座号)、是否售出、售 出区间等。

3/106

人 工 表 、 数 据 库 表 及 转 换

对客观事物进行抽象、提取、归纳 和总结，最后通过表格