Lógica simbólica para informáticos
Publicado por : Alfaomega, Ra-ma (México) Detalles físicos: xxii, 299 p. il. 23 cm. ISBN:9701510720.Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Libro | Bogotá Federman | 005.131 I652l Ej.1 (Navegar estantería (Abre debajo)) | 1 | Disponible | 041805105000000636 | ||
Libro | Bogotá Sur | 005.131 I71l Ej.2 (Navegar estantería (Abre debajo)) | Disponible | 041805105000000639 | |||
Libro | Bogotá Sur | 005.131 I71l Ej.1 (Navegar estantería (Abre debajo)) | Disponible | 041805105000000640 |
Incluye referencias bibliográficas y índice .
Lógica de proposiciones. -- Semántica. Cálculo axiomático y propiedades formales. -- Cálculo de deducción natural. -- Lógica de predicados. -- Cálculo axiomático y propiedades formales. Cálculo de deducción natural. -- Extensiones y otras lógicas. Fundamentos matemáticos. --Notaciones para los operadores lógicos. -- Reglas de inferencia.
La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para el cómputo.
No hay comentarios en este titulo.