Farré Cirera Rafael, Nieuwnhuis Robert, Nivela Pilar,Oliveras Albert, Rodríguez Enric, Sierra Josefina
Lógica para informaticos / Rafael Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós, Albert Oliveras Llunell, Enric Rodríguez Carbonell, Josefina Sierra Santibáñez. - Mexico : Alfaomega - 206 p.
Compra realizada en Noviembre de 2013 a Plaza y Janes
Conjuntos. -- Relaciones y funciones. -- Combinatoria. -- Demostración de propiedades. -- Definición de la lógica proposicional. -- ¿Qué es una lógica?. -- Lógica proposicional. -- Explicaciones sobre la definición de la lógica proposicional. -- Satisfactibilidad, tautología, consecuencia y equivalencia. -- Deducción en la lógica proposicional. -- Formas normales y cláusulas. -- Nociones informales de decibilidad y complejidad. -- Resolución. corrección y completitud. -- Resolver problemas prácticos con la lógica proposicional. -- El procedimiento DPLL. -- Definición de la lógica de primer orden. -- Lógica de primer orden. -- Explicaciones sobre la definición de la lógica de primer orden. -- Lógica de primer orden con igualdad. -- Formalización del lenguaje natural. -- Deducción en la lógica de primer orden. -- Formas normales y cláusulas. -- Transformación a forma clausal. -- Unificación. -- Resoluci┤pn y factorización. -- Fundamentos de respuestas mediante resolución. -- La ejecución de programas Prolog.
9786077071655
Computación, Teoría de la computación.
511.3 F245l
Lógica para informaticos / Rafael Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós, Albert Oliveras Llunell, Enric Rodríguez Carbonell, Josefina Sierra Santibáñez. - Mexico : Alfaomega - 206 p.
Compra realizada en Noviembre de 2013 a Plaza y Janes
Conjuntos. -- Relaciones y funciones. -- Combinatoria. -- Demostración de propiedades. -- Definición de la lógica proposicional. -- ¿Qué es una lógica?. -- Lógica proposicional. -- Explicaciones sobre la definición de la lógica proposicional. -- Satisfactibilidad, tautología, consecuencia y equivalencia. -- Deducción en la lógica proposicional. -- Formas normales y cláusulas. -- Nociones informales de decibilidad y complejidad. -- Resolución. corrección y completitud. -- Resolver problemas prácticos con la lógica proposicional. -- El procedimiento DPLL. -- Definición de la lógica de primer orden. -- Lógica de primer orden. -- Explicaciones sobre la definición de la lógica de primer orden. -- Lógica de primer orden con igualdad. -- Formalización del lenguaje natural. -- Deducción en la lógica de primer orden. -- Formas normales y cláusulas. -- Transformación a forma clausal. -- Unificación. -- Resoluci┤pn y factorización. -- Fundamentos de respuestas mediante resolución. -- La ejecución de programas Prolog.
9786077071655
Computación, Teoría de la computación.
511.3 F245l