Makinson, David. creator text bibliography nyu New York Springer 2008 monographic eng

print

xv, 301 p. : ill. ; 24 cm. 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 background and is ideal for self-study as well as classroom use 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.- Order.- Trees.- Graphs.- Logic.- Truth-functional connectives.- Quantifiers.- Counting.- The pigeonhole principles.- The addition and multiplication rules.- Selection rules.- Probability.- The Kolmogorov axioms for finitely additive probability.- Combining combinatorics and probability specialized by David Makinson Includes bibliographical references and index Computer science Mathematics Informatique Mathématiques 9781846288449 1846288444 UMP 090617 20251117145416.0 vtls000038070