资源描述:
《gtm146.computability a mathematical sketchbook》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、ContentsPrefaceviiPreliminaries11WhatIsa'lUringMachine?52ComputablePartialFunctions193EffectiveEnumerations354ComputableNumbersandFunctions475Rice'sTheoremandtheRecursionTheorem756AbstractComplexityTheory93SolutionstoExercises117SolutionsforChapter1118SolutionsforChapter2120
2、SolutionsforChapter3130SolutionsforChapter4136SolutionsforChapter5156SolutionsforChapter6166References173Index176DouglasS.BridgesDepartmentofMathematicsUniversityofWaikatoPrivateBag3105Hamilton,NewZealandEditorialBoardJ.H.EwingF.W.GehringP.R.HalmosDepartmentofDepartmentofDep
3、artmentofMathematicsMathematicsMathematicsIndianaUniversityUniversityofMichiganSantaClaraUniversityBloomington,IN47405AnnArbor,MI48109SantaClara,CA95053USAUSAUSAMathematicsSubjectClassifications(1991):03DxxLibraryofConaressCataloaing-in-PublicationDataBridges,D.S.(DouglasS.)
4、.1945-Computability:amathematicalsketchbookIDouglasS.Bridges.p.CID.-(Graduatetextsinmathematics)Includesbibliopphicalreferencesandindex.ISBN0-387-94174-61.Computablefunctions.I.Title.II.Series.QA9.59.B751994511.3-dc2093-21313Printedonacid-freepaper.©1994Sprinaer-VerlagNewYor
5、k,Inc.Allrightsreserved.Thisworkmaynotbetranslatedorcopiedinwholeorinpartwithoutthewrittenpermissionofthepublisher(Springer-VerlagNewYork,Inc.,175FifthAvenue,NewYork,NY10010,USA),exceptforbriefexcerptsinconnectionwithreviewsorscholarlyanalysis.Useinconnectionwithanyformofinf
6、ormationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorhereaf•terdevelopedisforbidden.Theuseofgeneraldescriptivenames,tradenames,trademarks,etc.,inthispublication,eveniftheformerarenotespeciallyidentified,isnottobetakena
7、sasianthatsuchnames,asunderstoodbytheTradeMarksandMerchandiseMarksAct,mayaccordinalybeusedfreelybyanyone.ProductionlDIlIlIlIedbyHalHenalein;manufacturinasupervisedbyVincentScelta.PhotocomposedPIIIespreparedfromtheauthor'sLaTeXfile.PrintedandboundbyR.R.DonneIley&;Sons,Harriso
8、nburl,VA.PrintedintheUnitedStatesofAmerica.987654321ISBN0-387-94174-6Spring