000			nam a22 7a 4500
999			_c48012 _d48012
005			20230125151317.0
008			230125s1994 xx a|||fr|||| 00| 0 eng d
020			_a0387941150
040			_aCO-NeUS _bspa _erda
041			_aeng _heng
100	1		_947688 _aGries, David _eaut
245			_aA logical approach to discrete math / _cDavid Gries, Fried B. Schneider
264	1		_aNew York : _bSpringer, _c1994
300			_a497 páginas : _bilustraciones ; _c24 cm.
336			_2rdacontent _atxt
337			_2rdamedia _an _bn
338			_2rdacarrier _anc _bnc
347			_2rda
490	1		_9153400 _aText and Monographs in Computer Science
504			_aIncluye referencias bibliográficas e índice.
505			_aUsing mathematics -- Boolean expressions -- Propositional calculus -- Relaxing the proof style -- Applications of propositonal calculus -- Modern algebra -- Theory of graphs -- Infinite sets -- Theorems of the propositional and predicate calculi --
520			_aLogic is glue that binds together arguments and proofs in all domains. This text aims to teach the use of this fundamental and pervasive tool and exercise it thoroughly in applications that arise in computer science and mathematics. The usual topics in discrete math are covered: propositional and predicate calculus. Set theory. Functions and relations. Theories of sequences and integers. Combinatory. Solution of recurrence relations. Modern algebra. Graph theory. But the treatment is far from usual. Formal logic is employed throughout, rather than being viewed simply as another subject of study. There are numerous worked-out examples and over 900 exercises. Brief excursions into hardware design, program verification, and database systems illustrate application of the theory. Over 30 historical notes are sprinkled throughout, giving a taste for our culture as well as showing how the field has been shaped by personalities and the forces of history.
700	1		_9153401 _aSchneider, Fried B.
082	0	4	_221 _a510 / _bG848lo
650	1	4	_92885 _aMatemática
650	1	4	_95825 _aLógica matemática
942			_2ddc _cCG _h510 / _kG848lo