程序設(shè)計(jì)方法學(xué)

　　《程序設(shè)計(jì)方法學(xué)》系統(tǒng)討論了程序設(shè)計(jì)的基本理論；分析了程序設(shè)計(jì)基本理論不斷發(fā)展和完善的過(guò)程，重占論述了結(jié)構(gòu)程序設(shè)計(jì)和面向?qū)ο蟪绦蛟O(shè)計(jì)的基本原理和方法，因而使程序的開(kāi)發(fā)和運(yùn)用更和科學(xué)有效，并向更高層次發(fā)展；強(qiáng)調(diào)說(shuō)明了只有依據(jù)基本原則和方法，才能開(kāi)發(fā)出可靠高效的良結(jié)構(gòu)程序?！冻绦蛟O(shè)計(jì)方法學(xué)》由三個(gè)部分共12章組成，第一章為引論，闡述了計(jì)算機(jī)求解問(wèn)題的過(guò)程和原則，第二章至第五章為第一部分，論述了程序設(shè)計(jì)語(yǔ)言的控制結(jié)構(gòu)與有限自動(dòng)機(jī)、下推自動(dòng)機(jī)、圖靈機(jī)模型等傳統(tǒng)計(jì)算模型的等價(jià)性；第六章至第九章為第二部分，討論了數(shù)據(jù)結(jié)構(gòu)的理論模型、數(shù)據(jù)類(lèi)型的定認(rèn)和表示方法，重點(diǎn)說(shuō)明了抽象數(shù)據(jù)類(lèi)型的定義、封裝及其在程序語(yǔ)言中的表示與實(shí)現(xiàn)，第十章至第十二章為第三部分，討信紙了程序的算法設(shè)墳、程序正確性證明及其算法的復(fù)雜性問(wèn)題?！冻绦蛟O(shè)計(jì)方法學(xué)》適用于計(jì)算機(jī)本科高年級(jí)學(xué)生、研究生程序設(shè)計(jì)方法學(xué)課程的教材和從事軟件科學(xué)的研究人員與高級(jí)人員與高級(jí)工程人員使用。

　　李傳湘，1933年生，湖北省監(jiān)利縣人，武漢大不社算機(jī)科學(xué)學(xué)院教授，享受?chē)?guó)務(wù)院政府特殊津貼，1957年武漢大不數(shù)不系畢業(yè)，1961年組織設(shè)計(jì)了我國(guó)第一臺(tái)電子很容易M—2計(jì)算機(jī)，1967年主持研制了第一臺(tái)電容式數(shù)字磁帶存儲(chǔ)機(jī)，1978年獲國(guó)家科學(xué)大會(huì)獎(jiǎng)，1992年主持完成了國(guó)家自然科學(xué)基金課題“模糊信息處理各序設(shè)計(jì)”。在樹(shù)信息流、計(jì)算樹(shù)結(jié)構(gòu)、軟件結(jié)構(gòu)、人工智能計(jì)算、模糊邏輯與模糊信息系統(tǒng)等計(jì)算機(jī)科學(xué)理論方面均有較深的造詣，取得一系列重大科研成果，發(fā)表論文30余篇，出版專(zhuān)著3部。