| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01877nam a2200217 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
5724 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
20140724 16 : 59 : 48 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20230113105118.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
141112s2012 mx r 000 u spa00 |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9786077071655 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro/agencia transcriptor |
uniajc |
| 050 ## - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
511.3 F245l |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Farré Cirera Rafael, Nieuwnhuis Robert, Nivela Pilar,Oliveras Albert, Rodríguez Enric, Sierra Josefina |
| 9 (RLIN) |
4923 |
| 245 ## - MENCIÓN DE TÍTULO |
|---|
| Título |
Lógica para informaticos / |
| Mención de responsabilidad, etc. |
Rafael Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós, Albert Oliveras Llunell, Enric Rodríguez Carbonell, Josefina Sierra Santibáñez. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Mexico : |
| Nombre del editor, distribuidor, etc. |
Alfaomega |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
206 p. |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Compra realizada en Noviembre de 2013 a Plaza y Janes |
| 505 ## - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
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. |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Computación, Teoría de la computación. |
| 9 (RLIN) |
4924 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
|
| Tipo de ítem Koha |
Libro - Material General |
