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 |
Navegando Biblioteca Stanford estanterías, Ubicación en estantería: Biblioteca Cerrada, Colección: Estantería C Fila 3 Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||||
Programación Programación de Macromedia Flash mx | Programación XHTML JavaScript Y Css Guía Practica | Programación Guía de campo de Macromedia director 8 | Programación Lógica Para Informáticos | Programación Programación en JAVA Jbuildes 2005 | Programación Corel Draw X4 | Programación Adobe InDesign CS5 |
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.