Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) (可計算性與複雜性:獻給羅德尼·G·道尼60歲生日的論文集(計算機科學講義))
- 出版商: Springer
- 出版日期: 2016-12-06
- 售價: $2,430
- 貴賓價: 9.5 折 $2,309
- 語言: 英文
- 頁數: 800
- 裝訂: Paperback
- ISBN: 3319500619
- ISBN-13: 9783319500614
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This Festschrift is published in honor of Rodney G. Downey, eminent logician and computer scientist, surfer and Scottish country dancer, on the occasion of his 60th birthday.
The Festschrift contains papers and laudations that showcase the broad and important scientific, leadership and mentoring contributions made by Rod during his distinguished career. The volume contains 42 papers presenting original unpublished research, or expository and survey results in Turing degrees, computably enumerable sets, computable algebra, computable model theory, algorithmic randomness, reverse mathematics, and parameterized complexity, all areas in which Rod Downey has had significant interests and influence. The volume contains several surveys that make the various areas accessible to non-specialists while also including some proofs that illustrate the flavor of the fields.
商品描述(中文翻譯)
本紀念文集是為了紀念羅德尼·G·道尼(Rodney G. Downey),這位傑出的邏輯學家和計算機科學家、衝浪者以及蘇格蘭民間舞者,特別在他60歲生日之際出版的。
本紀念文集收錄了多篇論文和讚辭,展示了道尼在其卓越職業生涯中所做出的廣泛且重要的科學、領導和指導貢獻。該文集包含42篇論文,呈現原創的未發表研究,或在圖靈度、可計算可列集合、可計算代數、可計算模型理論、算法隨機性、逆數學及參數化複雜性等領域的說明性和綜述性結果,這些都是道尼具有重大興趣和影響力的領域。該文集還包含幾篇綜述,讓非專家也能理解各個領域,同時也包括一些證明,以展示這些領域的特點。