Lógica simbólica para informáticos Julián Iranzo, Pascual
By: Pascual, Julián Iranzo
Material type: TextLanguage: Spanish México, DF : Alfaomega , 2006Description: 299 páginas ; Tablas ; gráficos ; ilustracionesContent type: text Media type: no mediado Carrier type: volumenISBN: 958-682-600-7Subject(s): Lógica simbólica aplicada (informática)DDC classification: 511.3Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Libros |
Biblioteca ISTX
La Biblioteca del ISU Cotopaxi se encuentra alineada a estandares internacionales con un acervo bibliográfico especializado, el cual se alínea a las carreras técnicas y tecnológicas de la Institución para procesos de lectura, docencia e investigación. |
511.3 I652l (Browse shelf) | Ej, 1 | Available | 000976 |
INTRODUCCION A LA LOGICA. Qué es la lógica. De qué trata la lógica. Corrección, verdad y analiticidad. Presentación de los sistemas lógicos. LOGICA DE PROPOSICIONES. SEMANTICA. El lenguaje formal de la lógica de enunciados. Conectivas, tablas de verdad y funciones de verdad. Valoración y equivalencia lógica. Conjuntos adecuados de conectivas. Argumentación, validez y consecuencia lógica. CALCULO AXIOMATICO Y PROPIEDADES FORMALES. Sistema formal. Lenguaje objeto y metalenguaje. El sistema formal axiomático L. El concepto de deducción formal. Teorema de la deducción. Propiedades formales de la lógica de enunciados. Ley de intercambio. CALCULO DE DEDUCCION NATURAL. Métodos de prueba y deducción natural. El sistema de deducción natural. Consejos para la resolución de argumentos. Equivalencia entre el sistema L y el de deducción natural. LOGICA DE PREDICADOS. SEMANTICA. Nombres, factores y relatores. Cuantificadores. Lenguaje formal de primer orden. Teoría de modelos. CALCULO AXIOMATICO Y PROPIEDADES FORMALES. El sistema formal axiomático. Teorema de la deducción. Propiedades formales de la lógica de predicados. CALCULO DE DEDUCCION NATURAL. Métodos de prueba y deducción natural. Reglas de inferencia. Consejos para la resolución de argumentos. Equivalencia entre el sistema K y el de deducción natural. EXTENSIONES Y OTRAS LOGICAS. EXTENSIONES DE LA LOGICA DE PREDICADOS. Lógica de predicados de identidad. Tipos. Orden superior. OTRAS LOGICAS. Lógica clásica y otras lógicas. Problemas expresivos y la necesidad de otras lógicas. Lógicas multivalentes. Lógica modal. Lógica temporal. Lógica intuicionista. Lógica no monótona. FUNDAMENTOS MATEMATICOS. Conjuntos. Relaciones y funciones. Números naturales y principio de inducción matemática. REGLAS DE INFERENCIA. Reglas de inferencia básicas. Reglas de Inferencia derivadas. Fórmulas lógicamente equivalentes.
There are no comments for this item.