TY  - BOOK
AU  - Farrâe Cirera,Rafel
AU  - Nieuwenhuis, Robert, Autor. 
AU  - Nivela Alós, Pilar, Autor. 
AU  - Oliveras Llunell, Albert, Autor.
AU  - Rodríguez Carbonell, Enric, Autor.
AU  - Sierra Santibáñez, Josefina, Autor.
TI  - Lógica para informáticos / 
SN  - 9786077071655
U1  - 005.74015113  
PY  - 2012///
CY  - México, D. F., México
PB  - Alfaomega
KW  - Lógica matemática
KW  - Informática - Computadores
N1  - 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
ER  -