| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01393nam a2200241Ia 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
12474 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
SV-SsUGB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20190411121640.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
180402s2009||||es |||||||||||||| ||spa|| |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9786077854333 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
UGB |
| Centro/agencia transcriptor |
UGB |
| 041 0# - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto/banda sonora o título independiente |
spa |
| 082 4# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
511.3 |
| Número de documento/Ítem |
L434 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Ledesma, Luis De |
| Término indicativo de función/relación |
Autor |
| 9 (RLIN) |
2888 |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Lógica para la computación : |
| Resto del título |
teorias de primer orden, resolución y elementos de programación lógica y prolog / |
| Mención de responsabilidad, etc. |
Luis De Ledesma |
| 250 ## - MENCIÓN DE EDICIÓN |
|---|
| Mención de edición |
1a. ed. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
México |
| Nombre del editor, distribuidor, etc. |
Alfaomega grupo editor |
| Fecha de publicación, distribución, etc. |
2009 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
180. p. |
| 520 ## - SUMARIO, ETC. |
|---|
| Sumario, etc. |
TEORIAS DE PRIMER ORDEN. Teorías de primer orden; El cálculo de tablas analíticas; Semántica; Completud, consistencia y decibilidad; Lógica de proposiciones. RESOLUCÍON. Reducción a un conjunto de cláusulas; Unificación; Resolución y teoría de Herbrand; Algunos procedimientos basados en el teorema de Herbrand. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. Refinamiento y estrategias de la resolución; Prolog; DEFINICIONES Y DEMOSTRACIONES INDUCTIVAS; Definiciones inductivas; Demostraciones inductivas. ADECUACIÓN DE LAS TABLAS ANALÍTICAS; CONSIDERACIONES ELEMENTALES SOBRE LA REPRESENTACIÓN DEL CONOCIMIENTO CON LENGUAJES DE PRIMER ORDEN. Preparación; Representación. |
| 542 1# - NOTA DE INFORMACIÓN RELACIONADA CON EL ESTADO DEL COPYRIGHT |
|---|
| Creador personal |
Ledesma, Luis De |
| Fecha de copyright |
2009 |
| Fecha de publicación |
2009 |
| 650 4# - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
LÓGICA SIMBÓLICA |
| 9 (RLIN) |
2889 |
|
|---|
| Subdivisión general |
LÓGICA MATEMÁTICAS |
| 9 (RLIN) |
2890 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Ledesma, Luis De |
| 9 (RLIN) |
2888 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Tipo de ítem Koha |
Libros |
| Fuente del sistema de clasificación o colocación |
|