資源描述:
《146-ComputabilityAmathematicalsketchbook.pdf》由會員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、ContentsPrefaceviiPreliminaries11WhatIsa'lUringMachine?52ComputablePartialFunctions193EffectiveEnumerations354ComputableNumbersandFunctions475Rice'sTheoremandtheRecursionTheorem756AbstractComplexityTheory93SolutionstoExercises117SolutionsforChapter1118SolutionsforChapter2120Solutionsfo
2、rChapter3130SolutionsforChapter4136SolutionsforChapter5156SolutionsforChapter6166References173Index176DouglasS.BridgesDepartmentofMathematicsUniversityofWaikatoPrivateBag3105Hamilton,NewZealandEditorialBoardJ.H.EwingF.W.GehringP.R.HalmosDepartmentofDepartmentofDepartmentofMathematicsMa
3、thematicsMathematicsIndianaUniversityUniversityofMichiganSantaClaraUniversityBloomington,IN47405AnnArbor,MI48109SantaClara,CA95053USAUSAUSAMathematicsSubjectClassifications(1991):03DxxLibraryofConaressCataloaing-in-PublicationDataBridges,D.S.(DouglasS.).1945-Computability:amathematical
4、sketchbookIDouglasS.Bridges.p.CID.-(Graduatetextsinmathematics)Includesbibliopphicalreferencesandindex.ISBN0-387-94174-61.Computablefunctions.I.Title.II.Series.QA9.59.B751994511.3-dc2093-21313Printedonacid-freepaper.?1994Sprinaer-VerlagNewYork,Inc.Allrightsreserved.Thisworkmaynotbetran
5、slatedorcopiedinwholeorinpartwithoutthewrittenpermissionofthepublisher(Springer-VerlagNewYork,Inc.,175FifthAvenue,NewYork,NY10010,USA),exceptforbriefexcerptsinconnectionwithreviewsorscholarlyanalysis.Useinconnectionwithanyformofinformationstorageandretrieval,electronicadaptation,comput
6、ersoftware,orbysimilarordissimilarmethodologynowknownorhereaf?terdevelopedisforbidden.Theuseofgeneraldescriptivenames,tradenames,trademarks,etc.,inthispublication,eveniftheformerarenotespeciallyidentified,isnottobetakenasasianthatsuchnames,asunderstoodbytheTradeMarksandMerchandiseMarks
7、Act,mayaccordinalybeusedfreelybyanyone.ProductionlDIlIlIlIedbyHalHenalein;manufacturinasupervisedbyVincentScelta.PhotocomposedPIIIespreparedfromtheauthor'sLaTeXfile.PrintedandboundbyR.R.DonneIley&;Sons,Harrisonburl,VA.PrintedintheUnitedStatesofAmerica.987654321ISBN0-387-94174-6Spring