開啟主選單

求真百科

變更

李祥

增加 721 位元組, 5 年前
無編輯摘要
{{Infobox person| 姓名 =李祥|圖片 = [[File:李祥1.jpg|缩略图|居中|250px|[https://timgsa.baidu.com/timg?image&quality=80&size=b9999_10000&sec=1565980614928&di=18fb26219dcac11655b1cab46a67d735&imgtype=0&src=http%3A%2F%2Fa1.att.hudong.com%2F03%2F16%2F20300543975669147520169614670.jpg 原图链接][http://tupian.baike.com/a1_03_16_20300543975669147520169614670_140_jpg.html 图片来源于互动百科网]]]|圖片尺寸 = | 圖像說明 = | 出生日期 =1942年10月 | 國籍 = 中國| 别名 = | 職業 = 校长| 知名原因 = | 知名作品 = </br> </br> </br> </br> }}  '''李祥''' ,男,1942  1942 年10月生于[[贵州安顺]] ,1964  1964 年,7月毕业于[[贵州大学]]数学系,贵州大学校长 。1979 1979---1980在华中工学院数理逻辑研究班学习 ,1980  1980 在贵州大学任教,1983年任[[澳大利亚]]Monash大学数学系高级讲师 ,1984 1984---1989任贵州大学校长,1986年任贵州大学教授 ,1995  1995 年评为中国科学院软件所博士导师,   现任贵州大学名誉校长,贵州省科协副主席,[[武汉大学]]软件工程国家重点实验室学术委员会委员,   中国科学院软件所计算机科学开放实验室学术委员会委员,教授,博士生导师。{{Infobox person | 姓名 =李祥 | 图像 = [https://p1.ssl.qhmsg.com/t018c054762c9c36b50.jpg 原图链接] [https://baike.so.com/doc/1754843-1855643.html 来自360网]| 图像说明 = | 出生日期 = 1942年10月| 出生地点 =贵州安顺 | 国籍 =中国 | 别名 = | 职业 = 校长 | 知名作 = <br>}}
== 主要业绩 ==
 致力于计算机软件与理论的教学与科学研究,在递归论,计算复杂性理论,计算机算法与密码,计算机逻辑等方面在国内外著名学术刊物发表论文数十篇,著有专著《 [[ 可计算性理论导引 ]] 》一部,主编《 [[ 操作系统 ]] 》、《 [[ 计算机科学 ]] 》等著作多部,是贵州大学《 [[ 计算机软件与理论 ]] 》专业硕士点的学术带头人,培养硕士生数十名。 中国撰有论文《 [[ 可计算性理论导引》、《递归可表现拓扑空间中处处非递归可枚举集》]](英文)。
== 科研论文 ==
1、基于集成的协同设计冲突消解系统研究 期刊《计算机集成制造系统》 2000年4期 作者:李祥,袁国华,周雄辉,阮雪榆。
[File:李祥3.jpg|缩略图|右|350px|[https://timgsa.baidu.com/timg?image&quality=80&size=b9999_10000&sec=1566575359&di=841c7aa7dbcf4f133decd994bd08c3c7&imgtype=jpg&er=1&src=http%3A%2F%2Fa3.att.hudong.com%2F30%2F52%2F01300543975669147666520077971.jpg 原图链接][http://tupian.baike.com/s/%E6%9D%8E%E7%A5%A5%5B%E8%B4%B5%E5%B7%9E%E5%A4%A7%E5%AD%A6%E5%90%8D%E8%AA%89%E6%A0%A1%E9%95%BF%5D/xgtupian/1/3?target= 图片来源于互动百科网]]] 1、基于集成的协同设计冲突消解系统研究 期刊《[[计算机集成制造系统]]》2000年4期 作者:李祥,袁国华,周雄辉,阮雪榆。 2、多方安全矩阵乘积协议及应用 期刊 《 [[ 计算机学报 ]] 》 2005年7期 作者:罗文俊,李祥
3、基于ATL的公平电子商务协议形式化分析 期刊 《 [[ 电子与信息学报 ]] 》2007年4期 作者:文静华,李祥,张焕国,梁敏,张梅
9,270
次編輯