TY  - BOOK
AU  - Iranzo,Pascual Julián
TI  - Lógica simbólica para informáticos
SN  - 9789701510728
U1  - 005.1 
PY  - 2005///
CY  - Santa Fe de Bogotá (Colombia)
PB  - Alfaomega Colombiana
KW  - SISTEMAS DE ALMACENAMIENTO Y RECUPERACION DE INFORMACION
KW  - ANALISIS DE SISTEMAS
KW  - SISTEMAS DE TRANSMISION DE DATOS
N1  - Incluye figuras, tablas, bibliografía; Introducción a la lógica.-- Presentación de los sistemas lógicos.-- Lógica de proposiciones.-- Semántica.-- El lenguaje formal de la lógica de enunciados.-- Álgebra de boole y operadores booleanos.-- Tablas de verdad y funciones de verdad.-- Valoración y equivalencia lógica.-- Cálculo axiomático y propiedades formales.-- Lenguaje objeto y metalenguaje.-- Cálculo de deducción natural.-- Lógica de predicados.-- Cálculo Axiomático y propiedades formales formales.-- Cálculo de deducción natural.-- Extensiones de la lógica de predicados.-- Fundamentos de matemáticas
ER  -