Pascual, Julián Iranzo
Lógica simbólica para informáticos Julián Iranzo, Pascual - 299 páginas ; Tablas ; gráficos ; ilustraciones ;
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.
958-682-600-7
Lógica simbólica aplicada (informática)
511.3 / I652l
Lógica simbólica para informáticos Julián Iranzo, Pascual - 299 páginas ; Tablas ; gráficos ; ilustraciones ;
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.
958-682-600-7
Lógica simbólica aplicada (informática)
511.3 / I652l
