Ｓ．Ｂ．庫珀等　　編

近年來，經(jīng)典的可計算性已被擴展到處理與代數(shù)、分析和物理學(xué)中可計算性和復(fù)雜性相關(guān)的問題。本書以數(shù)學(xué)的觀點研究了計算理論和實踐的新發(fā)展，涉及的課題范圍從經(jīng)典的可計算性到復(fù)雜性，從生物計算到量子計算。

本書共有19篇論文，分成四個部分。第一部分，計算的圖靈模型及其對邏輯、數(shù)學(xué)、哲學(xué)和計算機科學(xué)的應(yīng)用，1.Kleene-kreisel密度理論對理論計算機科學(xué)的應(yīng)用；2.借助域表示的拓撲空間可計算性；第二部分，邏輯、算法與復(fù)雜性，3.算法信息理論中的有效分形維數(shù)；第三部分，出自自然的計算模型，4.從細胞到(硅)計算機；5.計算機科學(xué)、信息學(xué)及自然計算：個人見解；第四部分，可計算分析與實際計算，6.實值函數(shù)的連續(xù)微分；7.無限時間可計算模型理論。

本書特別適合于對邏輯和基礎(chǔ)問題感興趣的數(shù)學(xué)、哲學(xué)和計算機科學(xué)專業(yè)的研究人員閱讀。對研究生而言，最有用的是關(guān)于可計算分析和生物計算的綜述論文。邏輯學(xué)家及理論物理學(xué)家也會從本書受益。