MARC details
| 000 -CABECERA |
|---|
| Longitud fija campo de control |
01978ntdaa2200265 ab4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| Identificador del número de control |
UnInEc |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| Fecha y hora de la última transacción |
20180803102229.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA - CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
|---|
| Códigos de información de longitud fija - Características del material adicional |
a||||g ||i| 00| 0 |
| 008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA |
|---|
| Códigos de información de longitud fija |
140501s9999 mx ||||f |||| 00| 0 spa d |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
|---|
| Número Internacional Normalizado para Libros (ISBN) |
9786077854333 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador de origen |
CIBESPAM MFL |
| 041 ## - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto;banda sonora o título independiente |
spa. |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
005.115 |
| Cutter |
L473 |
| Dato adicional |
2010 |
| 100 ## - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA |
|---|
| Nombre de persona |
De Ledesma, Luis |
| 245 ## - MENCIÓN DE TÍTULO |
|---|
| Título |
Lógica para la computación. |
| Resto del título |
Teorías de primer orden, resolución y elementos de programación lógica y prolog. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) |
|---|
| Lugar de publicación, distribución, etc. |
México |
| Nombre del editor, distribuidor, etc. |
Alfaomega |
| Fecha de publicación, distribución, etc. |
2010 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
177 páginas; |
| Otras características físicas |
fig, tablas; |
| 505 ## - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
1. Teoría de primer orden.<br/>- Lenguajes de primer orden, <br/>- El sistema formal teorías de primer orden,<br/>- Metas teoremas. Reglas y teoremas derivados, <br/>- El cálculo de tablas analíticas, <br/>- Definiciones y utilización, <br/>- Aplicación,<br/>- Semántica,<br/>- Estructuras,<br/>- Significado de expresiones, <br/>- Validez, <br/>- Completud, Consistencia y Decidibilidad, <br/>- La lógica de proposiciones, <br/>- Sintaxis, <br/>- Semántica, <br/>- Clausulas de Horn, <br/>2. Resolución, <br/>- Reducción a un conjunto de cláusulas,<br/>- Formas prenex, <br/>- Formas de Skolem, <br/>- Supresión de cuantificadores universales, <br/>- Reducción a un conjunto de cláusulas, <br/>- Unificación, <br/>- Resolución y teoría de HERBRAND, <br/>- Principio de resolución, <br/>- Corrección, <br/>- teoría de Herbrand, <br/>- Completud, <br/>- Algunos procedimiento basados en el teorema de HERBRAND, <br/>3. Elementos de programación lógica y prolog, <br/>- Refinamiento y estrategia de la resolución, <br/>- La resolución SLD, <br/>- Utilización de la resolución SLD y otros refinamientos, <br/>- PROLOG, <br/>- La resolución PROLOG, <br/>- Búsqueda en profundidad, <br/>- Búsqueda en anchura, <br/>- Las ramas infinitas, <br/>- La vuelta atrás,<br/>- Predicados y funciones de la implementación, <br/>ÍNDICE |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Programación Lógica |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Lógica para Computación |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Informática |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Prolog |
| 913 ## - ÁREA Y CARRERA |
|---|
| Área de Conocimiento |
Información y Comunicación (TIC) |
| Carrera |
Carrera de Computación |
| Líneas de Investigación Institucionales |
Soluciones computacionales para el sector agroproductivo y de servicios |
| 942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) |
|---|
| Fuente de clasificaión o esquema |
Dewey Decimal Classification |
| Koha [por defecto] tipo de item |
Libros |