TY  - DATA
AU  - Farré, Rafel
AU  - Sierra, Josefina
AU  - Oliveras, Albert
AU  - Nieuwenhuis, Robert
AU  - Rodríguez, Enric
AU  - Nivela, Pilar
TI  - Lógica para informáticos
SN  - 9786077079934
PY  - 2019///
CY  - [Lugar de publicación no identificado]
PB  - Alfaomega
KW  - Computación e informática
KW  - Libro electrónico
N2  - 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.
UR  - https://www.bidi.la/account/unmdp/login?r=/libro/589635
ER  -