Lógica Para Informáticos (Registro nro. 425)

Detalles MARC
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
Existencias
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
E- Virtual Página Principal Herramienta Guias Normativa


 Biblioteca