TY  - BOOK
AU  - Rafel Farre, Rober Nieuwenhuis
TI  - Lógica Para Informáticos
SN  - 9786077071655
U1  - 630370 
PY  - 2012///
CY  - AlfaOmega Grupo Editor
PB  - México
KW  - Lógica de Primer Orden
KW  - Lógica Proposicional
KW  - Programación Lógica
N2  - 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
ER  -