000			01290nam a22002657a 4500
003			OSt
005			20260401160424.0
008			260401t2017 -hkaod frf 001 0 eng d
020			_a9789888407064
040			_aclrauoh _beng _cclrauoh _erda
082			_2511
100	1		_aLehman, Eric _eauthor.
245			_aMathematics for computer science / _cEric Lehman; F. Tom Leighton; Abert R. Meyer
260			_aHong Kong : _bSamurai Media, _c2017
300			_aviii, 979 pages : _billustrations.
336			_atexto _btxt _2rdacontent
337			_aunmediated _bn _2rdamedia
338			_avolume _bnc _2rdacarrier
504			_aIncludes bibliographical references and index.
505			_aWhat is a proof? -- The well ordering principle -- Logical formulas -- Mathematical data types -- Induction -- State machines -- Recursive data types -- Infinite sets -- Number theory -- Directed graphs & partial orders -- Communication networks -- Simple graphs -- Planar graphs -- Sums and asymptotics -- Cardinality rules -- Generating functions --- Conditional probability -- Random variables --Deviation from the mean -- Random walks -- Recurrences.
650		0	_aComputer science _xMathematics
700	1		_aLeighton, F. Tom _eauthor.
700	1		_aMeyer, Albert R. _eauthor.
942			_2ddc _n0 _cBOOK
999			_c7013 _d7013