models of computation - an introduction to computability theory (springer, 2009)

《models of computation - an introduction to computability theory (springer, 2009)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、UndergraduateTopicsinComputerScienceUndergraduateTopicsinComputerScience(UTiCS)delivershigh-qualityinstructionalcontentforun-dergraduatesstudyinginallareasofcomputingandinformationscience.Fromcorefoundationalandtheoreticalmaterialtofinal-yeartopicsandapplications,

2、UTiCSbookstakeafresh,concise,andmodernapproachandareidealforself-studyorforaone-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpertsintheirfields,reviewedbyaninternationaladvisoryboard,andcontainnumerousexamplesandproblems.Manyincludefullyworkedsolution

3、s.Forfurthervolumes:http://www.springer.com/series/7592MaribelFernándezModelsofComputationAnIntroductiontoComputabilityTheory123Dr.MaribelFernándezKing’sCollegeLondonUKSerieseditorIanMackie,ÉcolePolytechnique,FranceandUniversityofSussex,UKAdvisoryboardSamsonAbram

4、sky,UniversityofOxford,UKChrisHankin,ImperialCollegeLondon,UKDexterKozen,CornellUniversity,USAAndrewPitts,UniversityofCambridge,UKHanneRiisNielson,TechnicalUniversityofDenmark,DenmarkStevenSkiena,StonyBrookUniversity,USAIainStewart,UniversityofDurham,UKDavidZhang

5、,TheHongKongPolytechnicUniversity,HongKongISSN1863-7310ISBN978-1-84882-433-1e-ISBN978-1-84882-434-8DOI10.1007/978-1-84882-434-8SpringerDordrechtHeidelbergLondonNewYorkBritishLibraryCataloguinginPublicationDataAcataloguerecordforthisbookisavailablefromtheBritishLi

6、braryLibraryofCongressControlNumber:AppliedforcSpringer-VerlagLondonLimited2009Apartfromanyfairdealingforthepurposesofresearchorprivatestudy,orcriticismorreview,aspermittedundertheCopyright,DesignsandPatentsAct1988,thispublicationmayonlybereproduced,storedortran

7、smitted,inanyformorbyanymeans,withthepriorpermissioninwritingofthepublishers,orinthecaseofreprographicreproductioninaccordancewiththetermsoflicensesissuedbytheCopyrightLicensingAgency.Enquiriesconcerningreproductionoutsidethosetermsshouldbesenttothepublishers.The

8、useofregisterednames,trademarks,etc.,inthispublicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantlawsandregulationsa