TY  - BOOK
AU  - Farré Cirera,Rafel
AU  - Nieuwenhuis,Robert
AU  - Nivela Alós,Pilar
AU  - Oliveras Llunell,Albert
AU  - Rodríguez Carbonell,Enric
AU  - Sierra Santibáñez,Josefina
TI  - Lógica para informáticos / 
SN  - 9786077071655
U1  - 004.0151 21
PY  - 2012///.
CY  - México : 
PB  - Alfaomega, 
KW  - LEMB
KW  - Programación lógica
KW  - Estructura de datos informáticos
KW  - Lógica
N1  - 1. Preliminares -- 2. Definición de la lógica proposicional -- 3. Deducción de la lógica proposicional -- 4. Definición de la lógica de primer orden -- 5. Deducción en la lógica de primer orden -- 6. Fundamentos de la programación lógica -- 7. Ejercicios resueltos.
N2  - La finalidad de este libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de la computación. La audiencia principal son pues los estudiantes de titulaciones en informática, aunque el libro también es útil como complemento en la formación básica de otras ciencias e ingenierías. En esta obra sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente en un capítulo de preliminares. El libro está escrito de forma amena y cercana, simplificando al máximo la carga notacional y con numerosos ejemplos que ilustran los conceptos explicados
ER  -