000			02761cam a22003977a 4500
001			17496261
005			20150420153333.0
008			121016s2011 nyuac b 001 0 eng
010			_a 2012419782
020			_a9781441980465 (pbk. : alk. paper)
020			_a9781441980472 (eISBN)
020			_a1441980466
035			_a(OCoLC)ocn713236934
040			_aAU@ _beng _cAU@ _dKYUBL _dBTCTA _dYDXCP _dOHX _dTEF _dBWX _dCDX _dWRM _dUAF _dORX _dDLC
042			_alccopycat
050	0	0	_aQA76.9.M35 _bG35 2011
082	0	4	_a510 _222
100	1		_aGallier, Jean H.
245	1	0	_aDiscrete mathematics / _cJean Gallier.
260			_aNew York : _bSpringer, _cc2011.
300			_axiii, 465 p. : _bill. (some col.), ports. ; _c24 cm.
490	0		_aUniversitext.
504			_aIncludes bibliographical references and indexes.
505	0		_aMathematical reasoning, proof principles, and logic -- Relations, functions, partial functions -- Graphs, Part I: Basic notions -- Some counting problems; multinomial coefficients -- Partial orders, GCDs, RSA, Lattices -- Graphs, Part II: More advanced notions.
520			_aSummary: This books gives an introduction to discrete mathematics for beginning undergraduates. One of original features of this book is that it begins with a presentation of the rules of logic as used in mathematics. Many examples of formal and informal proofs are given. With this logical framework firmly in place, the book describes the major axioms of set theory and introduces the natural numbers. The rest of the book is more standard. It deals with functions and relations, directed and undirected graphs, and an introduction to combinatorics. There is a section on public key cryptography and RSA, with complete proofs of Fermat's little theorem and the correctness of the RSA scheme, as well as explicit algorithms to perform modular arithmetic. The last chapter provides more graph theory. Eulerian and Hamiltonian cycles are discussed. Then, we study flows and tensions and state and prove the max flow min-cut theorem. We also discuss matchings, covering, bipartite graphs.
650		0	_aMathematics.
650		0	_aComputer vision.
650		0	_aNumber theory.
650		0	_aEngineering design.
856	4	2	_3Contributor biographical information _uhttp://www.loc.gov/catdir/enhancements/fy1306/2012419782-b.html
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy1306/2012419782-d.html
856	4	1	_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy1306/2012419782-t.html
906			_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg
942			_2ddc _cLIBRO
955			_bxh95 2012-10-16 z-processor to STM _axh00 2012-10- 20 to STM _ixh15 2012-10-25 to BCCD _ahc05 2013-01-24 c. 3 to Disgard
999			_c432