Your session will expire automatically in 0 seconds.
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