Lógica para informáticos (Registro nro. 10847)
[ vista simple ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01913am aa2200289i 44500 |
| 001 - CONTROL NUMBER | |
| control field | IDI-589635 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 30605s2019 ag d spa |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9786077079934 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Farré, Rafel |
| 9 (RLIN) | 3276 |
| 245 ## - TITLE STATEMENT | |
| Title | Lógica para informáticos |
| 264 ## - | |
| -- | [Lugar de publicación no identificado] : |
| -- | Alfaomega, |
| -- | 2019 |
| 336 ## - | |
| -- | texto |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computadora |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | otro |
| -- | sz |
| -- | rdamedia |
| 347 ## - | |
| -- | archivo de texto |
| -- | rdaft |
| -- | |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Este libro proporciona al lector fundamentos de lógica, para las ciencias de la computación, sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente. El libro inicia con un capítulo de preliminares matemáticos donde se repasan: Conjuntos, Relaciones y funciones, Combinatoria, Demostración de propiedades. Continúa con la definición de la lógica proposicional y de las técnicas de deducción en esta lógica y sus aplicaciones. En la segunda parte del libro define la lógica de primer orden, explica los métodos de deducción e incluye algunas aplicaciones. Dedica un capítulo a la programación lógica. Ventajas Competitivas: Escrito de forma amena y cercana, simplificando al máximo la carga rotacional, con numerosos ejemplos que ilustran los conceptos explicados. Más de 200 ejercicios acompañados de su correspondiente solución, desarrollada en todo detalle. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computación e informática |
| 9 (RLIN) | 439 |
| 655 ## - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Libro electrónico |
| 9 (RLIN) | 18 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sierra, Josefina |
| 9 (RLIN) | 3277 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Oliveras, Albert |
| 9 (RLIN) | 3278 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Nieuwenhuis, Robert |
| 9 (RLIN) | 3279 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Rodríguez, Enric |
| 9 (RLIN) | 3280 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Nivela, Pilar |
| 9 (RLIN) | 3281 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://www.bidi.la/account/unmdp/login?r=/libro/589635">https://www.bidi.la/account/unmdp/login?r=/libro/589635</a> |
| Link text | Click para acceso en línea |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Libro BIDI |
| Source of classification or shelving scheme | |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| a | 1099 |
| b | Pablo López Liotti |
| c | 1099 |
| d | Pablo López Liotti |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Date last seen | Uniform Resource Identifier | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Disponible para préstamo | Biblioteca de la Facultad de Ingeniería UNMDP | Biblioteca de la Facultad de Ingeniería UNMDP | 23/10/2023 | 23/10/2023 | https://www.bidi.la/account/unmdp/login?r=/libro/589635 | 23/10/2023 | Libro BIDI | Acceso en línea |