作品介紹

遞歸可枚舉集和圖靈度


作者:索爾     整理日期:2017-02-24 17:14:16


  《遞歸可枚集合和圖靈度:可計(jì)算函數(shù)與可計(jì)算生成集研究(影印版)》主要內(nèi)容包括:An Informal DescriptionFormal Definitions of Computable FunctionsPrimitive Recursive Functions.Diagonalization and Partial Recursive FunctionsTuring Computable FunctionsThe Basic ResultsRecursive Permutations and Myhill's Isomorphism TheoremFundamentals of Recursively Enumerable Sets and the Recursion Theorem。





上一本:公理集合論導(dǎo)引 下一本:數(shù)理物理基礎(chǔ)

作家文集

下載說明
遞歸可枚舉集和圖靈度的作者是索爾,全書語言優(yōu)美,行文流暢,內(nèi)容豐富生動(dòng)引人入勝。為表示對作者的支持,建議在閱讀電子書的同時(shí),購買紙質(zhì)書。

更多好書