Lógica Para Informáticos
Tipo de material: TextoDetalles de publicación: AlfaOmega Grupo Editor México 2012Edición: 1a EdiciónDescripción: 220 p. 17x23 cmISBN:- 9786077071655
- 630370
Tipo de ítem | Biblioteca actual | Colección | Signatura | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Stanford Biblioteca Cerrada | Estantería C Fila 3 | Programación (Navegar estantería(Abre debajo)) | Disponible | PROG0500 |
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
No hay comentarios en este titulo.