000			01563nam a22003737a 4500
001			BGEN1977
005			20230524090320.0
006			a||||gr|||| 00| 0
007			ta
008			161204t ec ||||gr|||| 00| 0 spa d
020			_a9788483224540
040			_aUEB _bspa _cUEB
041	0		_aspa
082	0	4	_a004.015 1 _bT687l
245	1	0	_aLógica matemática para informáticos : _bejercicios resueltos / _cTeresa Hortalá González ...[et al.]
260			_aMadrid, España : _bPearson Educación, _c2008
300			_ax, 390 páginas ; _bilustraciones ; _c27 cm.
336			_atexto
337			_asin mediación
338			_avolumen
490			_a( Prentice práctica )
500			_aContiene índice.
504			_aIncluye bibliografía.
505	0		_a Lógica proposicional - Sintaxis y semántica - Formalización - Técnicas de razonamiento - Equivalencia lógica - Leyes Booleanas - Cálculo lógico con tableaux - Lógica de primer orden - Sintaxis y semántica - Formalización. Técnicas de razonamiento - Equivalencia lógica. Leyes de los cuantificadores - Cálculo lógico con tableaux - Cálculo lógico con resolución - Ejercicios propuestos.
650	1	4	_aLógica matemática - Problemas. _944931
650	2	4	_aInformática. _9335
650	2	4	_aSintáxis y semántica. _944932
650	2	4	_aLeyes Booleanas. _944933
650	2	4	_aCálculo lógico. _944934
700			_aHortalá González, Teresa. _944930
700			_aMartí Oliet, Narciso. _944936
700			_aPalomino Tarjuelo, Miguel. _944937
942			_cBK _2ddc
999			_c2945 _d2945