Lógica Para Informáticos
- 1a Edición
- AlfaOmega Grupo Editor México 2012
- 220 p. 17x23 cm
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
9786077071655
Lógica de Primer Orden Lógica Proposicional Programación Lógica