000			03401nam a22003975i 4500
001			292069
003			MX-SnUAN
005			20160429154936.0
007			cr nn 008mamaa
008			150903s2006 xxk| o |||| 0|eng d
020			_a9781846285981 _99781846285981
024	7		_a10.1007/1846285984 _2doi
035			_avtls000343901
039		9	_a201509030752 _bVLOAD _c201404121013 _dVLOAD _c201404090750 _dVLOAD _y201402061243 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQA76.9.M35
100	1		_aO’Donnell, John. _eautor _9323611
245	1	0	_aDiscrete Mathematics Using a Computer / _cby John O’Donnell, Cordelia Hall, Rex Page.
250			_a2.
264		1	_aLondon : _bSpringer London, _c2006.
300			_axIx, 441 páginas _brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
500			_aSpringer eBooks
505	0		_aProgramming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion -- Trees -- Logic -- Propositional Logic -- Predicate Logic -- Set Theory -- Set Theory -- Inductively Defined Sets -- Relations -- Functions -- Applications -- The AVL Tree Miracle -- Discrete Mathematics in Circuit Design.
520			_aDiscrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC and Unix platforms, the functional language Haskell allows students to experiment with mathematical notations and concepts -- a practical approach that provides students with instant feedback and allows lecturers to monitor progress easily. This second edition of the successful textbook contains significant additional material on the applications of formal methods to practical programming problems. There are more examples of induction proofs on small programs, as well as a new chapter showing how a mathematical approach can be used to motivate AVL trees, an important and complex data structure. Designed for 1st and 2nd year undergraduate students, the book is also well suited for self-study. No prior knowledge of functional programming is required; everything the student needs is either provided or can be picked up easily as they go along. Key features include: • Numerous exercises and examples • A web page with software tools and additional practice problems, solutions, and explanations, as well as course slides • Suggestions for further reading Complete with an accompanying instructor's guide, available via the web, this volume is intended as the primary teaching text for Discrete Mathematics courses, but will also provide useful reading for Conversion Masters and Formal Methods courses. Visit the book’s Web page at: http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aHall, Cordelia. _eautor _9323612
700	1		_aPage, Rex. _eautor _9323613
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9781846282416
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/1-84628-598-4 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c292069 _d292069