LEADER 00000cam a22003257a 4500 
001    15628930 
005    20110512195639.0 
008    080415s2008    nyua     b    001 0 eng   
010    2008927215 
020    9781846288449 (pbk.) 
020    1846288444 (pbk.) 
020    1846288452 (ebook) 
020    9781846288456 (ebook) 
035    (OCoLC)ocn178310326 
040    UKM|cUKM|dBTCTA|dYDXCP|dBAKER|dOHX|dC#P|dBWX|dCDX|dBWK
       |dMUQ|dCDN|dDLC 
042    ukblcatcopy|alccopycat 
050 00 QA76.9.M35|bM335 2008 
100 1  Makinson, David,|d1941- 
245 10 Sets, logic and maths for computing /|cby David Makinson. 
260    London :|bSpringer,|c2008. 
300    xv, 301 p. :|bill. ;|c24 cm. 
490 0  Undergraduate topics in computer science 
504    Includes bibliographical references and index. 
505 0  Before the Beginning.- Do I really need to know about 
       this?.- Proving and disproving: Logical techniques.- 
       Proving and disproving: Mathematical techniques.- First 
       Steps.- Flat set theory.- Families of sets.- Relations.- 
       Functions.- Structures.- 
520    This easy-to-follow text allows readers to carry out their
       computing studies with a clear understanding of the basic 
       finite mathematics and logic that they will need. Written 
       explicitly for undergraduates, it requires only a minimal 
       mathematical 
650  0 Computer science|xMathematics. 
907    .b15628930|b10-06-15|c12-05-11 
945    QA76.9.M35|bM335 2008|g0|i37522005486733|j0|on|p0.00|q-|r-
       |s-|t0|u1|v0|w0|x0|y.i15005525|z02-07-12|llsf 
945    QA76.9.M35|bM335 2008|g0|i37522005486725|j0|on|p0.00|q-|r-
       |s-|t0|u1|v1|w0|x0|y.i15131373|z04-30-12|llsf 
998    ccq|b12-05-11|cm|db|en|feng|gnyu|h0