000			01024cam a22002054a 4500
005			20250605164240.0
008			250528s ||||||||||||||||||||||||d
035			_a21309
020			_a9780763772062
040			_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2
245	1		_aDiscrete Structures, Logic, and Computability / Third Edition
250			_a3rd
260			_bJones And Bartlett Learning, _c2010
300			_a1020
520			_aThis book provides elementary introductions to those ideas and techniques that are necessary to understand and practice the art and science of computing. Elementary Notions and Notations, Construction Functions, Equivalence and Order and Inductive Proof, Analysis Techniques, Elementary Logic, Predicate Logic, Applied Logic, computational Logic, Algebraic Structures and Techniques, Context-Free Languages and Pushdown Automata, Turing Machines and Equivalent Models, Computational Notions, Index.
700	1		_aHein James L _97362
942			_cBK
999			_c6374 _d6374