个人简历
男,1942年10月生于贵州安顺,1964年,7月毕业于贵州大学数学系,1979---1980在华中工学院数理逻辑研究班学习,1980在贵州大学任教,1983年任澳大利亚Monash大学数学系高级讲师,1984---1989任贵州大学校长,1986年任贵州大学教授,1995年评为中国科学院软件所博士导师,现任贵州大学名誉校长,贵州省科协副主席,武汉大学软件工程国家重点实验室学术委员会委员,中国科学院软件所计算机科学开放实验室学术委员会委员,教授,博士生导师。
主要业绩
致力于计算机软件与理论的教学与科学研究,在递归论,计算复杂性理论,计算机算法与密码,计算机逻辑等方面在国内外著名学术刊物发表论文数十篇,著有专著《可计算性理论导引》一部,主编《操作系统》、《计算机科学》等著作多部,是贵州大学《计算机软件与理论》专业硕士点的学术带头人,培养硕士生数十名。 中国撰有论文《可计算性理论导引》、《递归可表现拓扑空间中处处非递归可枚举集》(英文)。
科研论文
1、基于集成的协同设计冲突消解系统研究 期刊《计算机集成制造系统》 2000年4期 作者:李祥,袁国华,周雄辉,阮雪榆。 2、多方安全矩阵乘积协议及应用 期刊 《计算机学报》 2005年7期 作者:罗文俊,李祥 3、基于ATL的公平电子商务协议形式化分析 期刊 《电子与信息学报》2007年4期 作者:文静华,李祥,张焕国,梁敏,张梅
古诗大全
- 小学古诗
- 初中古诗
- 高中古诗
- 小学文言文
- 初中文言文
- 高中文言文
- 唐诗三百首
- 古诗三百首
- 宋词三百首
- 宋词精选
- 古诗十九首
- 诗经
- 楚辞
- 乐府
- 写春风的古诗大全
- 写次韵的古诗大全
- 写平生的古诗大全
- 写梅花的古诗大全
- 写东风的古诗大全
- 写风雨的古诗大全
- 写西风的古诗大全
- 写江南的古诗大全
- 写秋风的古诗大全
- 写回首的古诗大全
- 写百年的古诗大全
- 写风流的古诗大全
- 写天地的古诗大全
- 写相逢的古诗大全
- 写悠悠的古诗大全
- 写可怜的古诗大全
- 写少年的古诗大全
- 写寂寞的古诗大全
- 写江湖的古诗大全
- 写流水的古诗大全
- 写功名的古诗大全
- 写清风的古诗大全
- 写夕阳的古诗大全
- 写日月的古诗大全
- 写天涯的古诗大全
- 写长安的古诗大全
- 写纷纷的古诗大全
- 写萧萧的古诗大全
- 写西湖的古诗大全
- 写乾坤的古诗大全
- 写黄金的古诗大全
- 写杨柳的古诗大全
- 写江山的古诗大全
- 写扁舟的古诗大全
- 写桃花的古诗大全
- 写岁月的古诗大全
- 写桃李的古诗大全
- 写落日的古诗大全
- 写文章的古诗大全
- 写绝句的古诗大全
- 写风月的古诗大全
- 写芙蓉的古诗大全
- 写富贵的古诗大全
- 写读书的古诗大全
- 写蓬莱的古诗大全
- 写白日的古诗大全
- 写去年的古诗大全
- 写春色的古诗大全
- 写今朝的古诗大全
- 写白头的古诗大全
- 写世间的古诗大全
- 写徘徊的古诗大全
- 写新诗的古诗大全
- 写斜阳的古诗大全
- 写神仙的古诗大全
- 写黄昏的古诗大全
- 写凄凉的古诗大全
- 写登临的古诗大全
- 写将军的古诗大全
- 写浮云的古诗大全
- 写四海的古诗大全
- 写山水的古诗大全
- 写分明的古诗大全
- 写世事的古诗大全
- 写惆怅的古诗大全
- 写太平的古诗大全