Detalles MARC
| 000 -• Cabecera (Nr) |
|---|
| fixed length control field |
02551nam a2200277 a 4500 |
| 005 - • Fecha Y Hora De La Ultima Transaccion (Nr) |
|---|
| control field |
20121023164652.0 |
| 008 - • Elementos de longitud fija (NR) |
|---|
| fixed length control field |
110913s2010 mx a gr 000 0 spa |
| 020 ## - • Número Internacional Normalizado para Libros (ISBN) (R) |
|---|
| ISBN |
9786077854333 |
| 041 0# - • Idiomas (NR) |
|---|
| idioma |
spa |
| 082 04 - • Número de clasificación decimal de Dewey (R) |
|---|
| Número de clasificación (R) |
004.0151 |
| Número del ítem |
L33l |
| Número de la edición |
22 |
| 100 1# - • Nombre personal (NR) |
|---|
| Personal name |
Ledesma, Luís de |
| 245 10 - • Titulo propiamente dicho (NR) |
|---|
| Title |
Lógica para la computación |
| Remainder of title |
teorías de primer orden, resolución y elementos de programación lógica y prolog |
| Statement of responsibility, etc |
Luís de Ledesma. |
| 250 ## - • Mencion de La Edicion (Nr) |
|---|
| Edition statement |
1a ed. |
| 260 ## - • Area De Publicacion, Distribucion, Etc. (Pie de Imprenta) (R) |
|---|
| Place of publication, distribution, etc |
México : |
| Name of publisher, distributor, etc |
Alfaomega, |
| Date of publication, distribution, etc |
2010. |
| 300 ## - • Descripción física (R) |
|---|
| Extent |
177 p. : |
| Other physical details |
il. ; |
| Dimensions |
23 cm. |
| 490 0# - Mención de serie (R) |
|---|
| Series statement |
Computación. Programación |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Incluye referencias bibliográficas e índice |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
1. Teorías de primer orden ; 2. Resolución ; 3. Elementos de programación lógica y prolog ; Apéndice A. Definiciones y demostraciones inductivas ; Apéndice B. Adecuación de las tablas analíticas ; Apéndice C. Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden |
| 520 1# - SUMMARY, ETC. |
|---|
| Summary, etc |
Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización: alumnos de primeros cursos de Lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo, se ha procurado que el material elegido sea homogéneo y riguroso. El lector comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el conocimiento necesario, tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica. Aprenderemos a verificar con precisión y rigor por que son realmente válidos los teoremas, estamos así en pleno centro de las teorías de primer orden, la base de toda lógica; aparecen sus raíces sanas y fuertes por su papel en el desarrollo de la ciencia moderna. El autor ha hecho de estas primeras nociones una base para el desarrollo del texto a partir de su propio trabajo científico y experiencia docente en Lógica |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informática |
| Fuente del encabezamiento o término |
LEMB |
| 650 27 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programación lógica |
| Fuente del encabezamiento o término |
LEMB |
| 650 27 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Estructura de datos (Computadores) |
| Fuente del encabezamiento o término |
LEMB |
| 650 27 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Lógica simbólica y matemática |
| Fuente del encabezamiento o término |
LEMB |
| 650 27 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Funciones calculables |
| Fuente del encabezamiento o término |
LEMB |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Libro Nuevas Adquisiciones |
