000			02032cam a2200337 i 4500
005			20230413120415.0
008			140214s2012 mx a g||||| 000 0 spa d
020			_a9786077071655
040			_aCo-BrCUA _bspa _erda
041	0		_aspa
082	0	4	_221 _a004.0151 _bL687 2012
245	0	0	_aLógica para informáticos / _cRafel Farré [y otros cinco]
250			_aPrimera edición
264		1	_aMéxico : _bAlfaomega, _c2012.
300			_axii, 206 páginas : _bilustraciones ; _c23 cm.
336			_2rdacontent _atexto
337			_2rdamedia _asin medio
338			_2rdacarrier _avolumen
505	0		_a1. Preliminares -- 2. Definición de la lógica proposicional -- 3. Deducción de la lógica proposicional -- 4. Definición de la lógica de primer orden -- 5. Deducción en la lógica de primer orden -- 6. Fundamentos de la programación lógica -- 7. Ejercicios resueltos.
520			_aLa finalidad de este libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de la computación. La audiencia principal son pues los estudiantes de titulaciones en informática, aunque el libro también es útil como complemento en la formación básica de otras ciencias e ingenierías. En esta obra sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente en un capítulo de preliminares. El libro está escrito de forma amena y cercana, simplificando al máximo la carga notacional y con numerosos ejemplos que ilustran los conceptos explicados.
650	1	7	_2LEMB _91366 _aProgramación lógica
650	1	7	_2LEMB _91367 _aEstructura de datos informáticos
650	1	7	_9960 _aLógica _2LEMB
700	1		_91368 _aFarré Cirera, Rafel
700	1		_91369 _aNieuwenhuis, Robert
700	1		_91404 _aNivela Alós, Pilar
700	1		_91405 _aOliveras Llunell, Albert
700	1		_91406 _aRodríguez Carbonell, Enric
700	1		_91407 _aSierra Santibáñez, Josefina
942			_2ddc _cBK _h004.0151 _iL687 2012 _03
999			_c275 _d275