Lógica Para Informáticos (Registro nro. 425)
[ vista simple ]
000 -LEADER | |
---|---|
fixed length control field | 01334nam a2200229Ia 4500 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OSt |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240405082657.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 231107s9999||||xx |||||||||||||| ||spa|| |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9786077071655 |
040 ## - CATALOGING SOURCE | |
Transcribing agency | NA |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 630370 |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Rafel Farre, Rober Nieuwenhuis |
245 #0 - TITLE STATEMENT | |
Title | Lógica Para Informáticos |
250 ## - EDITION STATEMENT | |
Edition statement | 1a Edición |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | AlfaOmega Grupo Editor |
Name of publisher, distributor, etc. | México |
Date of publication, distribution, etc. | 2012 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 220 p. |
Dimensions | 17x23 cm |
520 ## - SUMMARY, ETC. | |
Summary, etc. | El libro trata de dos lógicas fundamentales: la Lógica Prop0sicional y la Lógica de Primer Orden, Después del capítulo de preliminares matemáticos, los dos siguientes capítulos giran alrededor de la definición de la Lógica Proposicional y de las técnicas de deducción en esta lógica y sus aplicaciones. Siguiendo el mismo esquema, en la segunda parte del libro se define la Lógica de Primer Orden y se explican los métodos de deducción y algunas aplicaciones, en el primer capítulo. El siguiente capítulo está dedicado a una aplicación relevante de la lógica y sus métodos deductivos en la informática: la programación lógica. Un último capítulo recopila todos los problemas propuestos junto a sus correspondientes soluciones |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Lógica de Primer Orden |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Lógica Proposicional |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Programación Lógica |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Libros |
Source of classification or shelving scheme | Dewey Decimal Classification |
Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection | Home library | Current library | Shelving location | Date acquired | Inventory number | Total checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dewey Decimal Classification | Estantería C Fila 3 | Biblioteca Stanford | Biblioteca Stanford | Biblioteca Cerrada | 08.11.2023 | 0500 | Programación | PROG0500 | 08.11.2023 | 08.11.2023 | Libros |