资源描述:
《sets, logic and maths for computing (springer, 2008)》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、UndergraduateTopicsinComputerScienceThiscopybelongsto'singh_kanika'UndergraduateTopicsinComputerScience’(UTiCS)delivershigh-qualityinstructionalcontentforunder-graduatesstudyinginallareasofcomputingandinformationscience.Fromcorefoundationalandtheoreticalmaterialtofina
2、l-yeartopicsandapplications,UTiCSbookstakeafresh,concise,andmodernapproachandareidealforself-studyorforaone-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpertsintheirfields,reviewedbyaninternationaladvisoryboard,andcontainnumerousexamplesandproblems.Manyin
3、cludefullyworkedsolutions.Forothertitlespublishedinthisseries,gotohttp://www.springer.com/7592Thiscopybelongsto'singh_kanika'DavidMakinsonSets,LogicandMathsforComputing13Thiscopybelongsto'singh_kanika'DavidMakinson,DPhilLondonSchoolofEconomics,UKSerieseditorIanMackie,
4、E´colePolytechnique,FranceandKing’sCollegeLondon,UKAdvisoryboardSamsonAbramsky,UniversityofOxford,UKChrisHankin,ImperialCollegeLondon,UKDexterKozen,CornellUniversity,USAAndrewPitts,UniversityofCambridge,UKHanneRiisNielson,TechnicalUniversityofDenmark,DenmarkStevenSkie
5、na,StonyBrookUniversity,USAIainStewart,UniversityofDurham,UKDavidZhang,TheHongKongPolytechnicUniversity,HongKongUndergraduateTopicsinComputerScienceISSN1863-7310ISBN:978-1-84628-844-9e-ISBN:978-1-84628-845-6DOI:10.1007/978-1-84628-845-6BritishLibraryCataloguinginPubli
6、cationDataAcataloguerecordforthisbookisavailablefromtheBritishLibraryLibraryofCongressControlNumber:2008927215#Springer-VerlagLondonLimited2008Apartfromanyfairdealingforthepurposesofresearchorprivatestudy,orcriticismorreview,aspermittedundertheCopyright,DesignsandPate
7、ntsAct1988,thispublicationmayonlybereproduced,storedortransmitted,inanyformorbyanymeans,withthepriorpermissioninwritingofthepublishers,orinthecaseofreprographicreproductioninaccordancewiththetermsoflicencesissuedbytheCopyrightLicensingAgency.Enquiriesconcerningreprodu
8、ctionoutsidethosetermsshouldbesenttothepublishers.Theuseofregisterednames,trademarks,etc.inthispublicationdoesnotimply,eveni