02459nam a22003617a 4500 BGEN6506 20260710082925.0 a||||gr|||| 00| 0 ta 161204t ec ||||gr|||| 00| 0 spa d 9786077071655 UEB spa UEB spa 005.74015113 F2451l Farrâe Cirera, Rafel 44522 Lógica para informáticos / Rafel Farré Cirera y [cinco mas] Primera edición México, D. F., México : Alfaomega, 2012 206 páginas ; ilustraciones ; 23 cm. texto sin mediación volumen Incluye índice. Preliminares -- 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... Lógica matemática. 5583 Informática - Computadores. 44523 Nieuwenhuis, Robert, Autor. 44524 Nivela Alós, Pilar, Autor. 44525 Oliveras Llunell, Albert, Autor. 44526 Rodríguez Carbonell, Enric, Autor. 44527 Sierra Santibáñez, Josefina, Autor. 44528 BK ddc 7771 7771 0 0 ddc 0 0 BGEN BGEN 2015-03-10 8626 4755157 4 005.74015113 F2451l 4755157 2019-05-27 00:00:00 2019-05-27 Ej.1 2016-12-04 BK ESTANTERIA 3.B 0 0 ddc 0 0 BGEN BGEN 2021-03-19 2576 15399922 0 005.74015113 F2451l 15399922 2021-03-19 00:00:00 Ej.2 2021-03-19 BK ESTANTERIA 2.A