[集合] sets, logic & math for computing 2008

《[集合] sets, logic & math for computing 2008》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、UndergraduateTopicsinComputerScienceUndergraduateTopicsinComputerScience’(UTiCS)delivershigh-qualityinstructionalcontentforunder-graduatesstudyinginallareasofcomputingandinformationscience.Fromcorefoundationalandtheoreticalmaterialtofinal-yeartopicsandapplications,UT

2、iCSbookstakeafresh,concise,andmodernapproachandareidealforself-studyorforaone-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpertsintheirfields,reviewedbyaninternationaladvisoryboard,andcontainnumerousexamplesandproblems.Manyincludefullyworkedsolutions.For

3、othertitlespublishedinthisseries,gotohttp://www.springer.com/7592DavidMakinsonSets,LogicandMathsforComputing13DavidMakinson,DPhilLondonSchoolofEconomics,UKSerieseditorIanMackie,E´colePolytechnique,FranceandKing’sCollegeLondon,UKAdvisoryboardSamsonAbramsky,Universityo

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

5、hnicUniversity,HongKongUndergraduateTopicsinComputerScienceISSN1863-7310ISBN:978-1-84628-844-9e-ISBN:978-1-84628-845-6DOI:10.1007/978-1-84628-845-6BritishLibraryCataloguinginPublicationDataAcataloguerecordforthisbookisavailablefromtheBritishLibraryLibraryofCongressCo

6、ntrolNumber:2008927215#Springer-VerlagLondonLimited2008Apartfromanyfairdealingforthepurposesofresearchorprivatestudy,orcriticismorreview,aspermittedundertheCopyright,DesignsandPatentsAct1988,thispublicationmayonlybereproduced,storedortransmitted,inanyformorbyanymeans

7、,withthepriorpermissioninwritingofthepublishers,orinthecaseofreprographicreproductioninaccordancewiththetermsoflicencesissuedbytheCopyrightLicensingAgency.Enquiriesconcerningreproductionoutsidethosetermsshouldbesenttothepublishers.Theuseofregisterednames,trademarks,e

8、tc.inthispublicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantlawsandregulationsandthe