000			02459nam a22003617a 4500
001			BGEN6506
005			20260710082925.0
006			a||||gr|||| 00| 0
007			ta
008			161204t ec ||||gr|||| 00| 0 spa d
020			_a9786077071655
040			_aUEB _bspa _cUEB
041	0		_aspa
082	0	4	_a005.74015113 _bF2451l
100	1		_aFarrâe Cirera, Rafel _944522
245	1	0	_aLógica para informáticos / _cRafel Farré Cirera y [cinco mas]
250			_aPrimera edición
260			_aMéxico, D. F., México : _bAlfaomega, _c2012
300			_a206 páginas ; _bilustraciones ; _c23 cm.
336			_atexto
337			_asin mediación
338			_avolumen
500			_aIncluye índice.
505	0		_aPreliminares -- Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción en la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos -- Conjuntos -- Inclusiòn e igualdad de conjuntos -- Operaciones sobre conjuntos -- Propiedades de las operaciones sobre conjuntos -- Partes de un conjunto -- Cadenas sobre un conjunto -- Relaciones y funciones -- Relaciòn de equivalencia y conjunto cociente -- Relaciones de orden -- Combinatoria -- Demostraciòn de propiedades -- Inducciòn -- Contrarecìproco -- Reducciòn al absurdo -- ¿Què es una lògica? -- Lògica proposicional -- Explicaciones sobre la definiciòn de la lògica proposicional -- Satisfactibilidad, tautologìa, consecuencia y equivalencia -- Formas normales y clàusulas -- Nociones informales de decidibilidad y complejidad -- Lo importante es el coste como funciòn del tamaño de la entrada -- Lògica de primer orden con igualdad -- Formas normales y clàusulas -- Transformaciòn a forma clausal -- Unificaciòn -- Càlculo de respuestas mediante resoluciòn -- La resoluciòn SLD -- Ejemplos de Prolog. Unificaciòn, listas -- Los aspectos extra-lògicos de Prolog -- Lògica de primer orden con igualdad -- Formalizaciòn del lenguaje natural...
650	1	4	_aLógica matemática. _95583
650	2	4	_aInformática - Computadores. _944523
700			_aNieuwenhuis, Robert, Autor. _944524
700			_aNivela Alós, Pilar, Autor. _944525
700			_aOliveras Llunell, Albert, Autor. _944526
700			_aRodríguez Carbonell, Enric, Autor. _944527
700			_aSierra Santibáñez, Josefina, Autor. _944528
942			_cBK _2ddc
999			_c7771 _d7771