000 | 01877nam a2200217 4500 | ||
---|---|---|---|
001 | 5724 | ||
003 | 20140724 16 : 59 : 48 | ||
005 | 20230113105118.0 | ||
008 | 141112s2012 mx r 000 u spa00 | ||
020 | _a9786077071655 | ||
040 | _cuniajc | ||
050 | _a511.3 F245l | ||
100 |
_aFarré Cirera Rafael, Nieuwnhuis Robert, Nivela Pilar,Oliveras Albert, Rodríguez Enric, Sierra Josefina _94923 |
||
245 |
_aLógica para informaticos / _cRafael Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós, Albert Oliveras Llunell, Enric Rodríguez Carbonell, Josefina Sierra Santibáñez. |
||
260 |
_aMexico : _bAlfaomega |
||
300 | _a206 p. | ||
500 | _aCompra realizada en Noviembre de 2013 a Plaza y Janes | ||
505 | _aConjuntos. -- 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. | ||
650 |
_aComputación, Teoría de la computación. _94924 |
||
942 |
_2ddc _cBK |
||
999 |
_c5662 _d5662 |