sets, logic and maths for computing (springer, 2008)

《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