(1128—1201)常州無錫人,字元德。孝宗隆興元年進(jìn)士。為錢塘簿。歷太學(xué)博士,累遷國(guó)子祭酒。丞相趙汝愚以言去國(guó),祥上疏爭(zhēng)之。除湖南轉(zhuǎn)運(yùn)副使,尋為言者劾罷,以直龍圖閣致仕。卒謚肅簡(jiǎn)。
個(gè)人簡(jiǎn)歷
男,1942年10月生于貴州安順,1964年,7月畢業(yè)于貴州大學(xué)數(shù)學(xué)系,1979---1980在華中工學(xué)院數(shù)理邏輯研究班學(xué)習(xí),1980在貴州大學(xué)任教,1983年任澳大利亞Monash大學(xué)數(shù)學(xué)系高級(jí)講師,1984---1989任貴州大學(xué)校長(zhǎng),1986年任貴州大學(xué)教授,1995年評(píng)為中國(guó)科學(xué)院軟件所博士導(dǎo)師,現(xiàn)任貴州大學(xué)名譽(yù)校長(zhǎng),貴州省科協(xié)副主席,武漢大學(xué)軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會(huì)委員,中國(guó)科學(xué)院軟件所計(jì)算機(jī)科學(xué)開放實(shí)驗(yàn)室學(xué)術(shù)委員會(huì)委員,教授,博士生導(dǎo)師。
主要業(yè)績(jī)
致力于計(jì)算機(jī)軟件與理論的教學(xué)與科學(xué)研究,在遞歸論,計(jì)算復(fù)雜性理論,計(jì)算機(jī)算法與密碼,計(jì)算機(jī)邏輯等方面在國(guó)內(nèi)外著名學(xué)術(shù)刊物發(fā)表論文數(shù)十篇,著有專著《可計(jì)算性理論導(dǎo)引》一部,主編《操作系統(tǒng)》、《計(jì)算機(jī)科學(xué)》等著作多部,是貴州大學(xué)《計(jì)算機(jī)軟件與理論》專業(yè)碩士點(diǎn)的學(xué)術(shù)帶頭人,培養(yǎng)碩士生數(shù)十名。 中國(guó)撰有論文《可計(jì)算性理論導(dǎo)引》、《遞歸可表現(xiàn)拓?fù)淇臻g中處處非遞歸可枚舉集》(英文)。
科研論文
1、基于集成的協(xié)同設(shè)計(jì)沖突消解系統(tǒng)研究 期刊《計(jì)算機(jī)集成制造系統(tǒng)》 2000年4期 作者:李祥,袁國(guó)華,周雄輝,阮雪榆。 2、多方安全矩陣乘積協(xié)議及應(yīng)用 期刊 《計(jì)算機(jī)學(xué)報(bào)》 2005年7期 作者:羅文俊,李祥 3、基于ATL的公平電子商務(wù)協(xié)議形式化分析 期刊 《電子與信息學(xué)報(bào)》2007年4期 作者:文靜華,李祥,張煥國(guó),梁敏,張梅
詩(shī)詞大全
古詩(shī)大全
別人正在查
好86網(wǎng)為您提供李祥簡(jiǎn)介,李祥是哪個(gè)朝代的詩(shī)人,李祥古詩(shī)大全,李祥的詩(shī),李祥作品目錄
http://vip9tm30.com/shiren_view_9b8c7643ac9b8c76/
合作QQ:564591 聯(lián)系郵箱:kefu@hao86.com