Farrâe Cirera, Rafel creator Nieuwenhuis, Robert, Autor. Nivela Alós, Pilar, Autor. Oliveras Llunell, Albert, Autor. Rodríguez Carbonell, Enric, Autor. Sierra Santibáñez, Josefina, Autor. text ec México, D. F., México Alfaomega 2012 Primera edición monographic spa 206 páginas ; ilustraciones ; 23 cm. 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... general Rafel Farré Cirera y [cinco mas] Incluye índice. Lógica matemática Informática - Computadores 005.74015113 F2451l 9786077071655 UEB 161204 20260710082925.0 BGEN6506 spa